Tableau-based reasoner for ALCQ description logic
-
Updated
May 1, 2020 - Rust
#
reasoning
Here are 18 public repositories matching this topic...
-
Updated
Jan 3, 2023 - Rust
First-order logic theorem prover supporting unification with approximate vector similarity
-
Updated
Mar 23, 2023 - Rust
Reactive Reasoning
-
Updated
Sep 28, 2025 - Rust
Renderer for the harmony response format to be used with gpt-oss rust, python, javascript and C#
-
Updated
Dec 1, 2025 - Rust
"From Prompt to Cognitive Engineering". — AI: Designed, not Dreamed.
rust cli ai async mcp embeddings tokio web-scraping developer-tools semantic-search browser-automation reasoning ai-agents cognitive-architecture rag vector-database llm llm-tools agentic-ai model-context-protocol
-
Updated
Mar 13, 2026 - Rust
Rust SDK for MnemeBrain — a belief memory system for AI agents. Supports MnemeBrain Lite and Full APIs.
rust memory tokio knowledge-graph reasoning ai-agents rag rust-sdk vector-database llm llm-agents llm-memory ai-memory ai-infrastructure ai-brain mnemebrain
-
Updated
Mar 21, 2026 - Rust
A Rust-based ASPIC+ argumentation engine oriented as a modular pipeline
-
Updated
Mar 29, 2026 - Rust
First causal agentic AI memory
-
Updated
Mar 27, 2026 - Rust
The Reasoning Engine — Auditable Reasoning for Production AI | Rust-Native | Turn Prompts into Protocols
rust ai mcp opencode developer-tools reasoning auditable llm ai-logic chain-of-thought tree-of-thoughts ollama ai-reasoning deepseek gemini-cli structured-reasoning claude-code codex-cli ai-think ultrathink
-
Updated
Mar 30, 2026 - Rust
AI-native ontology engine: a Rust MCP server with tools for building, validating, querying, and reasoning over RDF/OWL ontologies. In-memory Oxigraph triple store, native OWL2-DL tableaux reasoner, SHACL validation, SPARQL, versioning. Single binary, no JVM.
rust linked-data sparql mcp owl ontology knowledge-graph triplestore description-logics shacl reasoning claude owl2 ai-native oxigraph mcp-server
-
Updated
Apr 1, 2026 - Rust
TypeQL: Built for systems, not records
query database polymorphic logic inference polymorphism type-system strongly-typed query-language reasoning typedb typeql
-
Updated
Apr 1, 2026 - Rust
Streaming reasoning layer for AI. Incremental rules engine with vector search, graph traversal, and explainable derivation traces.
knowledge-graph rules-engine graph-search reasoning incremental-computation ai-agents explainable-ai vector-search enterprise-ai differential-dataflow derivation-proofs
-
Updated
Apr 2, 2026 - Rust
Litex is a simple formal language Learnable in 2 hours.
-
Updated
Apr 2, 2026 - Rust
TypeDB: Built for systems, not records
database polymorphic logic inference polymorphism knowledge-base type-system strongly-typed knowledge-representation reasoning typedb typeql
-
Updated
Apr 2, 2026 - Rust
Hierarchical, reasoning-native document intelligence engine.
markdown rust pdf information-retrieval retrieval openai question-answering tree-structure knowledge-base semantic-search reasoning document-processing rag document-intelligence llm no-vectors tree-navigation reasoning-native
-
Updated
Apr 2, 2026 - Rust
Improve this page
Add a description, image, and links to the reasoning topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the reasoning topic, visit your repo's landing page and select "manage topics."