The inside story of building the largest pure-Rust sovereignty stack
234 posts
no_std-compatible. Zero heap allocation. Full industrial protocols (Modbus, CANopen, EtherCAT). The complete sovereign control systems stack for robotics and industrial automation — all in pure Rust.
Pure Rust reimplementation of Lean 4’s Calculus of Inductive Constructions. 99.7% Mathlib4 compatibility, zero unsafe in kernel, full tactics + metaprogramming — bringing industrial-grade formal verification directly into the Rust ecosystem.
FDTD (2D/3D), Transfer Matrix Method, RCWA, mode solvers, silicon photonics devices, fiber optics, quantum photonics, and type-safe optical units — all in pure Rust. No C, no Fortran.
2.59M SLoC. 29 crates. 19,700+ tests. 10–100x faster than NumPy/SciPy. The complete sovereign scientific computing platform is here — no C, no Fortran, no Python.
Patent-free. Memory-safe. Zero C/FFI. The complete multimedia stack (FFmpeg + OpenCV replacement) is finally here — all written in pure Rust.
OxiRS 0.2.0 lands a ~10x cumulative SPARQL speedup, Tantivy full-text search, 3D GeoSPARQL, 1000+ node clustering, and hardened AI — 26 new modules across 15 rounds, 39,468 tests passing across all 26 crates. A JVM-free Apache Jena.
OxiBLAS 0.2.0 is a major step up: cache-oblivious recursive and parallel factorizations, batched BLAS, runtime auto-tuning, multifrontal sparse solvers, mixed-precision refinement, NUMA-aware allocation, and no_std support — with the Fortran FFI retired in favor of a fully pure Rust workspace.
A minimal DSL + IR that compiles logical rules (predicates, quantifiers, implications) into optimized einsum graphs. Full neurosymbolic integration with differentiable fuzzy/probabilistic semantics — now available as 0.1.0-rc.1.
NumRS2 0.3.0 replaces the O(n²) cyclic spline solve with a Sherman-Morrison O(n) cyclic Thomas algorithm, enables DEFLATE compression for .npz via OxiARC (no zlib, no C), and lifts the entire scirs2-* stack to v0.3.0 — faster KD-trees, SIMD, and special functions.
TenRSo is a production-grade, Rust-native tensor computing stack — generalized contraction plus a cost-based planner, sparse/low-rank mixed execution, CP/Tucker/TT decompositions, and out-of-core processing. This release candidate adds masked einsum, executor element-wise ops, TT-SVD gradients, and CP regularization as we approach our first stable cut.
OxiLean 0.1.0 is the debut of a memory-safe Interactive Theorem Prover written entirely in Rust, inspired by Lean 4 — a zero-dependency kernel implementing the full Calculus of Inductive Constructions, a complete tactic framework, and a WASM REPL that runs in the browser.
SciRS2 is a pure-Rust SciPy/NumPy/scikit-learn replacement, and 0.3.0 is the biggest release yet — transformers, GNNs, diffusion, MoE/RLHF, Gaussian processes, MCMC, survival analysis, radar/compressed sensing, LOBPCG/AMG, plus new Julia and Python bindings. 19,644 tests, ~2.59M lines of Rust. No C, no Fortran.
XSL-FO 1.1 to PDF (and SVG/text) pipeline in pure Rust. 10–1200x faster than Java FOP, zero JVM, full Knuth-Plass line breaking, 294 properties supported. Production-grade document generation is now memory-safe and sovereign.
A complete distributed mail server in pure Rust. Full SMTP/IMAP/JMAP/POP3 support, Mailet-based processing pipeline (Apache JAMES port), AI integration via OxiFY, and AmateRS-backed storage. 10–50 MB memory footprint, no JVM, no GC pauses.
From a single monocular video → consistent 3D Gaussian avatar in pure Rust. Full differentiable Gaussian Splatting (wgpu) + Multi-View Diffusion (Candle) + FLAME binding. 796 passing tests, zero C/Fortran, production-ready digital twin reconstruction.
The first public release of OxiGDAL: a 100% Pure Rust reimplementation of GDAL with zero C/C++/Fortran in default features. 11 format drivers (GeoTIFF/COG, GeoParquet, Zarr, NetCDF, HDF5, GRIB, JPEG2000, ...), a Pure Rust PROJ with 211+ EPSG definitions, SIMD raster/vector algorithms, cloud-native async I/O, and WASM + Python bindings — across 68 workspace crates.
Drop-in PyTorch replacement in pure Rust. Full SciRS2 integration (18 crates), SIMD CPU backend, autograd, and native sharding support. 2—3× faster inference, 50% less memory, single-binary deployment — no Python, no CUDA required.
OptiRS is the Pure Rust ML optimizer suite (19 optimizers) built exclusively on SciRS2-Core. The 0.2.0 release relicenses to Apache-2.0 only and upgrades to SciRS2 v0.2.0 across every crate — fully backward compatible, with no API changes and no breaking changes. A one-line dependency bump.
NumRS2 0.2.0 closes the last native escape hatches: the numpy dependency is replaced by scirs2-numpy, OpenBLAS linker flags are gone in favor of the OxiBLAS pure-Rust backend, and the build is hardened to link cleanly with --all-features. A focused COOLJAPAN compliance release.
SciRS2 is the pure-Rust SciPy/NumPy replacement. 0.2.0 restores the entire workspace to zero compile errors, makes Pure Rust OxiFFT the default FFT backend (rustfft now optional), rebuilds the neural stack, and ships the first WebAssembly bindings. ~11,400 tests, zero warnings. No C. No Fortran.
OxiFFT 0.1.3 is a correctness patch for the Pure Rust FFTW replacement: it eliminates an infinite-recursion bug in the size-512/1024/4096 SIMD fallback dispatch for non-f32/f64 element types, drops a redundant buffer allocation, and consolidates licensing to a single Apache-2.0 LICENSE.
OxiArc 0.2.1 brings security and scale: traditional ZipCrypto encryption for password-protected ZIPs, plus async I/O, SIMD-accelerated CRC, and memory-mapped I/O in the core. Also LZ4 dictionary support and LZHUF streaming. Pure Rust archive and compression — no C, no zlib, no libarchive.
Pure-Rust SciPy/NumPy replacement. 0.1.5 is a polish release — workspace version alignment, strict scirs2-core import policy, correct GPU feature wiring, and a leaner dependency tree. OxiFFT stays the Pure Rust default. No C, no Fortran, no system dependencies.
OxiRAG 0.1.1 lands production OxiZ SMT verification for Layer 3, real Candle Phi-2/Phi-3 inference and LoRA training, and 5.6x–9.0x faster cosine similarity — all in a Pure Rust RAG engine backed by 1,472 tests.