Math library for mlua — RNG, distributions, hypothesis testing, ranking, information theory, and statistics
Pure Rust post-quantum TLS — zero C code. ML-KEM, ML-DSA, SLH-DSA, Falcon. FIPS 203/204/205/206 compliant. 100 Lean 4 theorems.
Paraxiom post-quantum cryptography — pure Rust, zero C. Unified API for ML-KEM, ML-DSA, SLH-DSA, and Falcon.
A modern Pascal compiler with build/intepreter/package manager built with Rust
Lean-backed fixed-dimension streaming covariance and Ledoit-Wolf shrinkage
Post-quantum secure shell with NIST PQC algorithms (Falcon, SPHINCS+, ML-KEM), configurable security tiers, and quantum-resistant protocol design