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

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.

🌵 Decision Diagrams for Rust

Bottom-up sentential decision diagram compiler.

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

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

A state of the art Weighted and Projected Sampler

A Knowledge Compilation-based Uniform Sampler

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

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

知译 KnowCompile

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

CompiledKnowledge is a Python package for compiling and querying discrete probabilistic graphical models.

Paper + experiments: compiled-wiki lifecycle with 4 stages (compile, certify, maintain, retract) for LLM-compiled wikis, providing certified correctness guarantees over evolving corpora. Includes minimal llm-wiki implementation.

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

Skill-Native AI Knowledge Base — compile documents into Skills with native understanding

Build a structured knowledge base with LLM agents to automate documentation, link concepts, and maintain long-term information retention in Markdown.

Automate a personal Markdown knowledge base with Spring AI agents that curate, link, and maintain your notes using a schema-driven workflow.