TypeDB: Built for systems, not records
High-performance Holographic Memory System (HMS) for Node.js, powered by Rust. This library implements Vector Symbolic Architectures (VSA) using Binary Spatter Code (BSC) to enable semantic search, analogical reasoning, and associative memory at scale.
Axiomatic intelligence. Doing the right thing, provably.
A sound disjunctive context reasoner for SROIQ / OWL 2 DL, with machine-checked soundness in Lean 4 and per-run verified certificate checking.
A bounded 333-bee synthetic Hive that mines scientific knowledge, builds validated local “honey,” and pollinates useful connections back into the field.
Experimental Rust research software for explicit authority boundaries, negative knowledge, traceable state transitions, and reproducible falsification POCs.
A solver-agnostic, library-first foundation for Answer Set Programming in Rust: lossless syntax, program representation, analysis, and an engine-agnostic solving API.
A bidirectional bridge between Protocol Buffers and Answer Set Programming.
A safe, complete Rust binding to the clingo answer set solver (5.8.2)
Local-first, replayable memory for AI systems. Signed history, provenance, deterministic replay, and explicit policies for what evidence is allowed to conclude.
Contract-defined deterministic semantic field composition with canonical identity, immutable policy, and provenance-aware artifacts.
Typed intermediate representation for symbolic and neuro-symbolic reasoning.
To associate your repository with the knowledge-representation topic, visit your repo's landing page and select "manage topics."