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 narrative game development package for the Turbo Game Engine.
CLI passphrase generator using the diceware method
A simple Rust library for generating realistic JSON data using declarative schema definitions
Core types for the Forge compute economy: NodeId, CU, Config
llama.cpp inference engine integration for Tirami
Economic engine for Forge: CU accounting, trades, safety, Merkle root
P2P transport layer for Tirami using iroh QUIC + Noise encryption
Wire protocol messages for the Tirami distributed inference network
Rust HTTP client SDK for the Forge compute economy
Layer assignment and topology planner for Tirami distributed inference
High availability LNURL load balancer server for enterprise Bitcoin Lightning payment providers