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

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

Bottom-up sentential decision diagram compiler.

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

A Knowledge Compilation-based Uniform Sampler

A state of the art Weighted and Projected 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.

Paper + experiments (unpublished, not peer-reviewed): a 4-stage lifecycle for LLM-compiled wikis — compile, certify, maintain, retract — with statistical guarantees over RAG on evolving corpora.

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

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.