crates.io · PyPI
typedb/typeql
TypeQL: Built for systems, not records
MPL-2.0Aug 16, 2026 · metrics 2.10.0
All tags
Catalogue tag
#reasoning
Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.
14 records
crates.io
Blackcat-Informatics/purrdf
PurRDF — one RDF 1.2 engine, one behavior, every language: interned primitives, Turtle/TriG/N-Quads/RDF-XML/JSON-LD codecs, RDFC-1.0, SPARQL 1.1/1.2, SHACL Core, GTS graph transport, and Python/WebAssembly/C bindings.
Apache-2.0Jul 26, 2026 · metrics 2.10.0
npm
eyereasoner/eye-js
A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
MITJul 17, 2026 · metrics 2.10.0
PyPI
Trampoline-AI/predict-rlm
Production focused Self-harnessed LM runtime (RLM) that allows the LM to call its sub-lm with DSPy signatures. Define your inputs, outputs, and tools — the model handles its own control flow. Get fully interpretable trajectories and performance that scales directly with model improvements. Without context rot.
MITJul 17, 2026 · metrics 2.10.0
PyPI
RDFLib/OWL-RL
A simple implementation of the OWL2 RL Profile on top of RDFLib: it expands the graph with all possible triples that OWL RL defines. It can be used together with RDFLib to expand an RDFLib Graph object, or as a stand alone service with its own serialization.
Custom licenseAug 8, 2026 · metrics 2.10.0
PyPI
gianlucamazza/mklang
A declarative language for LLM-driven state machines - the .mkl document is the program, an LLM is the runtime
Apache-2.0Jul 27, 2026 · metrics 2.10.0
PyPI
igareosh/fpf-agentic-thinking-map
Small MIT-licensed runtime for bounded LLM traversal, inspired by FPF and focused on practical agent behavior.
MITJul 20, 2026 · metrics 2.10.0
Go
tamnd/taocp-solver
A Go library and CLI for complete TAOCP solutions, fast and audited solving modes, reproducible model evaluation, and detailed token and list-cost accounting.
MITJul 28, 2026 · metrics 2.10.0
npm
lloyal-ai/reasoning-run
A private reasoner for your terminal. Direct conversation or grounded multi-agent research, GPU-native and fully local. No API keys, no inference servers.
MITJul 19, 2026 · metrics 2.10.0
PyPI
bradleypallen/pyNMMS
pyNMMS — An automated reasoner for the Non-Monotonic Multi-Succedent sequent calculus from Hlobil & Brandom 2025
MITAug 26, 2026 · metrics 2.10.0
npm
clasen/ModelMix
🧬 ModelMix - Unified API for Diverse AI Language Models.
No licenseJul 21, 2026 · metrics 2.10.0
npm
sebaxzero/pi-loop-police
Pi extension — detects and interrupts infinite thinking-block and tool-call doom loops in real time
No licenseSep 5, 2026 · metrics 2.10.0
PyPI
waybarrios/crystal
CRYSTAL: Beyond Final Answers: Benchmark for Transparent Multimodal Reasoning Evaluation | arXiv 2603.13099
No licenseJul 17, 2026 · metrics 2.10.0
PyPI
declare-lab/reccon
This repository contains the dataset and the PyTorch implementations of the models from the paper Recognizing Emotion Cause in Conversations.
No licenseJul 15, 2026 · metrics 2.10.0