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.
Pure-Rust AV1 codec — orphan-rebuild scaffold pending clean-room re-implementation.
Parametric morphology engine for human body generation — targets, blendshapes, FACS
A middleware for tower sessions
An experimental cache tagging library for Rust web frameworks
Desktop shell wrapper for Fission applications
Shared winit shell runtime for desktop and mobile Fission hosts
Rustvello distributed task system CLI
Cache store modeling primitives for RustUse
Metadata registry for Sails
SQLite integration for Synaptic — cache, checkpointer, store, and vector store
LLM response caching: InMemory, Semantic, CachedChatModel