infiniflow/ragflow
RAGFlow is a leading open-source Retrieval-Augmented Generation (RAG) engine that fuses cutting-edge RAG with Agent capabilities to create a superior context layer for LLMs
Topic: knowledge-compilation
27 repositories
atomicstrata/llm-wiki-compiler
The knowledge compiler. Raw sources in, interlinked wiki out. Inspired by Karpathy's LLM Wiki pattern.
ML-KULeuven/PySDD
Python package for Sentential Decision Diagrams (SDD)
meelgroup/KCBox
A toolbox for knowledge compilation
ML-KULeuven/deeplog
DeepLog: the PyTorch for neurosymbolic AI
zelixag/ai-memex-cli
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.
Lipen/ananke
🌵 Decision Diagrams for Rust
Illner/BellaCompiler
A knowledge compiler for wDNNF, pwDNNF, nwDNNF and (s)d-DNNF circuits
meelgroup/WAPS
A state of the art Weighted and Projected Sampler
jsfpdn/sdd-rs
Bottom-up sentential decision diagram compiler.
thtran97/Knowledge-Compilers
A Python (re-)implementation of some known knowledge compilers
meelgroup/KUS
A Knowledge Compilation-based Uniform Sampler
simon-kohaut/Resin
Reactive probabilistic logic programming with Reactive Circuits: exact, incremental inference over asynchronous data streams.
Illner/Hydra
Hydra is the development repository for the Bella knowledge compiler and the Cara #SAT solver
genuscortinariusmors282/LLM-wiki
Maintain a centralized knowledge wiki for LLMs by compiling raw documentation into actionable, versioned markdown files.
tomazinho/open-ckf-compiled-knowledge-format
Open-source Compiled Knowledge Format (CKF) tools for schema-stable knowledge compilation, structured retrieval, and RAG infrastructure.
sanDer153/static-vtree-heuristics
Python code accompanying my thesis on static vtree heuristics for SDD compilation.
ai-dev-dot/KnowCompile
知译 KnowCompile
feiyueyun/skillkb
Skill-Native AI Knowledge Base — compile documents into Skills with native understanding
ropeless/compiled_knowledge
CompiledKnowledge is a Python package for compiling and querying discrete probabilistic graphical models.
thegreenanchor/obsidian-inbox-ingest
An offline-first, model-agnostic local inbox ingestion pipeline and compiler for Obsidian vaults, inspired by Karpathy's LLM Wiki paradigm.
kabudu/guarded-continuation-checker
Guarded Continuation Checker: evaluation-ready, proof-carrying bounded verification for embedded firmware and RTL, powered by CQ-SAT.
ANTiqiuSama/compiled-knowledge-playbook
Implementation-neutral architecture, schemas, and practices for compiled knowledge systems
howdow698-ui/llm-wiki
Build a structured knowledge base with LLM agents to automate documentation, link concepts, and maintain long-term information retention in Markdown.
Ohialha4618/karpathy-wiki
Automate a personal Markdown knowledge base with Spring AI agents that curate, link, and maintain your notes using a schema-driven workflow.
alanoursland/modenexus
Compile system models to d-DNNF circuits, then diagnose, track, and learn on one artifact: exact posteriors, ranked diagnoses, mode tracking, EM — with a PyTorch backend for GPU inference.
NatBrian/compiled-wiki-lifecycle
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.