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 highly parallel Perl 5 interpreter written in Rust
The Astroport stableswap pair contract implementation
The Astroport concentrated liquidity pair
AI inference gateway — multi-provider LLM routing, local model serving, speech-to-text, and token budget management
Cost-optimization decorator for Rig completion models: cache, compression, cascade routing, and provenance.
FRP in Rust: streams and broadcasts.
LLM provider implementations and pricing models for LLM Observatory
Provider-agnostic model metadata (context window, capabilities, quantization) and probe traits for Rig agents.
Provider-agnostic model metadata (context window, capabilities, quantization) and probe traits for Rig agents.
Advanced cryptocurrency forecasting SDK combining statistical models, machine learning (SVR), and technical analysis with intelligent caching and rate limiting
A Rust library for performing Oaxaca-Blinder decomposition on Polars DataFrames, with support for categorical variables and bootstrapped standard errors.