Search Results for "llama-cpp-static"

CodeChecker is a static analysis infrastructure built on the LLVM/Clang Static Analyzer toolchain, replacing scan-build in a Linux or macOS (OS X) development environment. Executes Clang-Tidy and Clang Static Analyzer with Cross-Translation Unit analysis, Statistical Analysis (when checkers are available). Creates the JSON compilation database by wiretapping any build process (e.g., CodeChecker log -b "make").

Quivr is an open-source platform that leverages Retrieval-Augmented Generation (RAG) to integrate Generative AI into applications. It serves as a "second brain," enabling users to build powerful AI-driven assistants that can process and retrieve information efficiently. Quivr supports various large language models and vector stores, providing flexibility and customization for developers.

Goal of oraschemadoc is to provide detailed documentation for all objects in schema covering Oracle specific features. Result of execution of oraschemadoc is set of static xhtml files. There are more features under development...

Relationale is a domain-specific language implementing relational algebra atop a general-purpose host language. It features a static type system, type inference, lexical scope, and delayed evaluation. A proof-of-concept is being developed in Python.

SimData-CSP is a C++ library for data management in simulations that provides dynamic object creation, automatic binding to external static data at runtime (using precompiled XML), and many data classes useful in simulations (with full Python bindings).