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.
Security scanner for AI-generated code - detects vulnerabilities before you commit
fraktor no_std actor runtime core
fraktor std helpers for host runtimes
Specification-driven actor runtime bridging Akka/Pekko and Proto.Actor semantics across no_std and std targets.
Portable no_std toolbox primitives for the fraktor actor runtime
Standard-library helpers complementing fraktor-utils-core
Derive deterministic Ed25519 signing keys from WebAuthn/Passkey P-256 ECDH — zero persistent secrets, hardware-bound identity
High-level SDK for interacting with multisig accounts on Miden via GUARDIAN
Ultra-high performance, zero-dependency native launcher for Nimbus Prime.
A complete library to interact with classroom (protocol v1)
A Rust-based secure licensing system.