typedb / typedb Star 4k Code Issues Pull requests TypeDB: the power of programming, in your database database polymorphic logic inference polymorphism knowledge-base type-system strongly-typed knowledge-representation reasoning typedb typeql Updated Jun 17, 2025 Rust
typedb / typeql Star 229 Code Issues Pull requests TypeQL: the power of programming, in your database query database polymorphic logic inference polymorphism type-system strongly-typed query-language reasoning typedb typeql Updated Jun 10, 2025 Rust
pbonte / roxi Star 45 Code Issues Pull requests Reactive Reasoning javascript rust webassembly semantic-web datalog n3 reasoning streamreasoning Updated Aug 9, 2024 Rust
universome / dl-reasoner Star 12 Code Issues Pull requests Tableau-based reasoner for ALCQ description logic alc reasoning description-logic aclq tableau-algorithm Updated May 1, 2020 Rust
chanind / tensor-theorem-prover Star 12 Code Issues Pull requests First-order logic theorem prover supporting unification with approximate vector similarity logic theorem-proving first-order-logic reasoning symbolic-logic Updated Mar 23, 2023 Rust
SoftVarE-Group / d-dnnf-reasoner Star 6 Code Issues Pull requests A d-DNNF reasoner. reasoning feature-models d-dnnf Updated Jun 18, 2025 Rust
lochbrunner / symbolic-reasoning Star 0 Code Issues Pull requests machine-learning symbolic-computation reasoning Updated Jan 3, 2023 Rust