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.
European Union jurisdiction support for Legalis-RS (GDPR, Consumer Rights, Competition, Treaties)
Semi-automatic OSINT framework and package manager
GPU-accelerated real-time transaction monitoring showcase for RingKernel
Financial market primitives: validated types, order book, OHLCV aggregation, 550+ streaming technical indicators, position ledger, and risk monitoring.
Australia jurisdiction support for Legalis-RS (Commonwealth Constitution, ACL, Fair Work, Mabo)
Institutional-grade corporate finance calculations with 128-bit decimal precision — DCF, WACC, comps, LBO, credit metrics, derivatives, fixed income, options, and 60+ specialty modules. No f64 in financials. WASM-compatible.
India jurisdiction support for Legalis-RS - comprehensive modeling of Indian law
A Rust utility library for fault tolerance, including retry strategies, backoff mechanisms, and failure handling.
A batteries-included Rust web framework built on Axum for building SaaS applications quickly
slap-your-laptop - Detect MacBook slaps and shakes via built-in accelerometer
REST API and WebSocket server for Kaccy Protocol - comprehensive backend service