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.
Production-grade AI Agent framework for Rust — ReAct engine, multi-agent, memory, streaming, MCP, IM channels, workflows
Secure-by-Design Autonomous AI Agent
Foundry CSS, JavaScript helpers, and Axonyx-native .ax components for Axonyx UI.
Middleware to compile Circom circuits to Nova zkSNARK scheme
Ruckig motion planning library for Rust
Instantaneous Motion Generation for Robots and Machines.
Executive function for AI coding agents. Focus their intelligence, ground their work, stop the avoidable mistakes.
TUI library to build modern apps inspired by React, Elm, with Flexbox, CSS, editor component, emoji support, and more
Thread-safe headless browser pool for high-performance HTML to PDF conversion with native Rust web framework integration.
Rust implementation of the SWIM protocol
A programming language for AI agents