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 TUI-based S3 multipart uploader featuring resumable transfers and ClamAV integration.
Memory-safe financial transaction validator with ML-based fraud detection, real-time sanctions screening, and ISO 20022 support
A caching DNS proxy with advanced security features, WebAssembly hooks, and comprehensive protection mechanisms
HTTP server for the Transaction Authorization Protocol (TAP)
Malaysia jurisdiction support for Legalis-RS - Malaysian legal system with Common Law + Islamic Law hybrid, PDPA 2010, Companies Act 2016, Employment Act 1955
Canton Network chain family plugin for Open Wallet Standard
India jurisdiction support for Legalis-RS - comprehensive modeling of Indian law
Tools for managing Amazon S3 objects and buckets
South Korea (대한민국) jurisdiction support for Legalis-RS - Civil law system with Korean characteristics
Proxy signatures with delegation by warrant
DOJ-aligned inmate tablet monitoring engine. Supervised classification and K-Means clustering over .mp4 session signals produce auditable JusticeOutcome records — punitive, corrective, or restorative — at 13,500+ inmates/sec per CPU core. Built for correctional facility integration.