Equivalence predicate that can handle cyclic, shared, and very-deep graphs.
AXON v1.5.1 — first crates.io publication of the AXON language full-stack runtime. Lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the native Rust runtime: typed channels (TypedEventBus with QoS×5, π-calculus mobility, capability extrusion via shield D8 — Fase 13.f.2), Free Monad CPS handlers (Fase 2), lease kernel + reconcile loop (Fase 3+5), Epistemic Security Kernel (ESK Fase 6), Trust Types + ReplayLog (Fase 11.a+11.c), Stateful PEM over WebSocket (Fase 11.d), Ontological Tool Synthesis (Fase 11.e), Mobile Typed Channels (Fase 13). Crate publishes as `axon-lang` to mirror the Python PyPI package; library import remains `use axon::*` so existing call sites keep working unchanged.
A highly parallel Perl 5 interpreter written in Rust
Neuroscience-grounded memory system for AI agents. ACT-R activation, Hebbian learning, Ebbinghaus forgetting, cognitive consolidation.
A type-safe, scope-aware graph library that leverages Rust's type system to prevent common graph-related bugs at compile time
CLI extensions for Git that simplify common workflows
A Rust library for finding shortest paths in weighted graphs using Dijkstra's algorithm with multiple heap implementations
MCP server for agent task workflows with phases, prompts, gates, and multi-agent coordination
A high-level query framework built on whale for incremental computation.
Flow Inspector: Tracing and observability for query-flow
Procedural macros for query-flow.
A native graph database implementation in Rust with built-in JSON support and SQLite-like simplicity