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.
Soroban WASM smart contract decompiler - reconstructs Rust source from compiled contracts
OpenTelemetry distributed tracing layer for Axum — OTLP/gRPC export to Jaeger, Grafana Tempo, or any OTel collector
Windows API signature metadata
Structured, columnar tracing for Rust applications
A concurrent garbage collected arena
Derive support for the sandpit GC
A WebGL2 rendering library for Rust/Wasm & JS
Lightweight OpenTelemetry instrumentation for AWS Lambda
Complete JNI and JVMTI bindings for Rust with zero dependencies. Build JVM agents in pure Rust.
Safe, idiomatic Rust bindings for the JVM Tool Interface (JVMTI)
Gamelogic only library for a simple tetromino based falling blocks game