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.
Pure-Rust AV1 codec — orphan-rebuild scaffold pending clean-room re-implementation.
Rust bindings for the Listen Notes Podcast API
Stabilized Recursive Barrier Network kernel for bounded verifier-guided loops
Security, authentication, authorization, and SOC 2 compliance for LLM Schema Registry
igc-net protocol rust library — publish and add metadata to IGC flight files
Standalone archival node CLI for the igc-net protocol
Covariance matrix denoising for financial risk validation. Marchenko-Pastur filtering, Ledoit-Wolf shrinkage, detoning. Pure math, no I/O.
Yahoo Finance price + ISIN provider for the regit-covariance pipeline.
OptiRS Neural Architecture Search and hyperparameter optimization
DSFB deterministic residual structuring framework for Upstream and Midstream Oil and Gas systems. A deterministic, read-only, observer-only augmentation layer for typed residual interpretation. The core engine is no_std + no_alloc. Unsafe code is forbidden in the library. Dataset loading, fleet evaluation, reporting, and executable examples are std-gated.
Platform backends, blitters, and hardware integration for rlvgl.