Rust implementations of special mathematical functions. Includes re-implementation of the CEPHES math library for gamma functions, error functions, elliptic integrals, sine and cosine integrals, fresnel integrals, normal distribution, and bessel functions
Pure-Rust synthetic media generator (sine waves, gradients, fractals, test patterns) for the oxideav framework — usable as a generate:// URI source or as a zero-input filter
Bitcoin Commons BLVM: Direct mathematical implementation of Bitcoin consensus rules from the Orange Paper
Config-driven framework for blazingly fast visualizations.
A highly parallel Perl 5 interpreter written in Rust
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.
Sanitizer trait, shadow-memory math, and runtime invariant assertions — SPEC §2, §7.
SLO and error-budget engine for Rust: compute error budgets and burn rates, and generate multi-window multi-burn-rate Prometheus alert rules from sloth-compatible specs.
Pure-Rust JPEG XL (JXL) codec — RETIRED 2026-05-08 pending strict-isolation cleanroom workspace; current state ships round-1..3 ANS + headers + LfGlobal + GlobalModular wiring only. Rounds 7-11 + encoder rounds 1-6 retired with the libjxl-trace-reverse-engineering.md docs retirement of 2026-05-06.
geometric number library supporting unlimited dimensions with O(1) complexity
Yet another web server framework for rust
Ultra-high-performance Markdown to HTML compiler