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

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

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

Bottom-up sentential decision diagram compiler.

A state of the art Weighted and Projected Sampler

A Knowledge Compilation-based Uniform Sampler

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

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

知译 KnowCompile

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.

Convert raw documents and notes into an interlinked markdown wiki to build a persistent, browsable knowledge base.

Automate your documentation by using LLMs to read files, structure a searchable wiki, and maintain current content with source tracking.

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

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

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