AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.
A highly parallel Perl 5 interpreter written in Rust
Rust bindings for the Listen Notes Podcast API
The autonomous, self-improving AI agent. Single Rust binary. Every channel. Install with: cargo install opencrabs
A strong and perfect connect four solver in Rust
Audio processing and synthesis library.
A toolkit for building scalable, real-time applications with Axum, WebSockets, and Redis Pub/Sub.
The world's first multi-agent shell with typed functional pipelines and multi-modal AI
Riemannian geometry, manifold optimization, and geodesic computation in Rust
Semantic coherence analysis between specification and implementation for Rust projects.
Multi-language static analysis toolkit with MCP server. Detects dead code, code clones, and AI scaffolding.
A Rust library for building and querying knowledge graphs using SQLite as the backend, with graph algorithms, vector search, and RAG support