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.
AI/Human task management system with file-based storage
Pure-Rust AV1 codec — orphan-rebuild scaffold pending clean-room re-implementation.
A Model Context Protocol (MCP) server for sequential thinking and problem-solving
Full-featured mocking library in Rust, including rich failure messages and argument matchers
Controller (actor) macro to decouple interactions between components, supporting both embassy (no_std) and tokio (std) backends.
Wrapper of dynamically borrowed data.
Core traits and types for OxiSQL — the COOLJAPAN Pure-Rust SQL facade
simple command-line argument parser driven by usage text
Foundational utilities and language-level tools for Rust application development
A declarative framework for defining nested action hierarchies, generating handler traits, and registering bindings automatically for the Rune scripting language.
Foundational utilities and language-level tools for Rust application development