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

Bottom-up sentential decision diagram compiler.

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

A state of the art Weighted and Projected Sampler

A Knowledge Compilation-based Uniform Sampler

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

🌵 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.

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.

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.

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