knowledge-compilation

RAGFlow is an agent-native database: a Retrieval-Augmented Generation (RAG) engine that grew into context infrastructure.

The knowledge compiler. Raw sources in, interlinked wiki out. Inspired by Karpathy's LLM Wiki pattern.

Python package for Sentential Decision Diagrams (SDD)

A toolbox for knowledge compilation

DeepLog: the PyTorch for neurosymbolic AI

Your AI agents, finally with a memory that compounds. AI Memex turns chats, documents, research, and project decisions into a living Markdown knowledge base, maintained by agents and versioned in Git.

A knowledge compiler for wDNNF, pwDNNF, nwDNNF and (s)d-DNNF circuits

🌵 Decision Diagrams for Rust

A state of the art Weighted and Projected Sampler

A Python (re-)implementation of some known knowledge compilers

Bottom-up sentential decision diagram compiler.

A Knowledge Compilation-based Uniform Sampler

Reactive probabilistic logic programming with Reactive Circuits: exact, incremental inference over asynchronous data streams.

Hydra is the development repository for the Bella knowledge compiler and the Cara #SAT solver

Maintain a centralized knowledge wiki for LLMs by compiling raw documentation into actionable, versioned markdown files.

Tree Decision Diagrams for Rust, Python and C: canonical circuits for Boolean functions, with model counting and weighted evaluation

Open-source Compiled Knowledge Format (CKF) tools for schema-stable knowledge compilation, structured retrieval, and RAG infrastructure.

一句话,一颗脑。输入行业需求,自动汇总全网 agent / MCP / 模型,融合成一颗可运行、可评测、可导出的脑。

Python code accompanying my thesis on static vtree heuristics for SDD compilation.

知译 KnowCompile