The inside story of building the largest pure-Rust sovereignty stack
234 posts
OxiZ is a Pure Rust Satisfiability Modulo Theories solver reimplementing Z3 — a full CDCL(T) architecture with EUF/LRA/LIA/BV/Arrays/Strings/FP/Datatypes theories, SMT-LIB2 support, and roughly 90% Z3 feature parity, all with zero C/C++. This is its first public release.
OxiZ 0.1.1 ships a new unified `oxiz` meta-crate with feature-flagged modular usage (solver/nlsat/optimization/spacer/proof/full), plus MBQI and CDCL(T) theory-propagation fixes. A Pure Rust Z3 replacement with zero C/C++.
Legalis-RS 0.1.1 adds United Kingdom and Singapore jurisdictions to the Pure Rust legal-DX framework and grows the test suite from 6,100+ to 9,568 across 23 crates, with a near-zero-warning quality pass.
MeCrab is a pure Rust morphological analyzer compatible with MeCab IPADIC dictionaries. The 0.1.0 debut brings memory-mapped zero-copy dictionary loading, a SIMD-accelerated Viterbi lattice, runtime word addition, and the KizaMe CLI — Japanese tokenization in a single safe binary.
Legalis-RS is a Pure Rust framework that turns legal statutes into structured, machine-verifiable code — a Legal DSL parser, formal verifier, population simulator, and multi-jurisdiction support (JP/DE/FR/US). An honest first release.
rs3gw is a Pure Rust, S3-compatible object storage gateway for AI/ML and HPC. The 0.1.0 debut ships a 100+ operation S3 API, multi-protocol REST/gRPC/GraphQL access, content-addressed deduplication, and a pushdown-capable S3 Select query engine — in a single 50MB static binary.
NumRS2 0.1.0 is the first stable release of a NumPy-inspired numerical computing library for Rust: ~155k lines, 1,111+ tests, 86 AVX2 + 42 ARM NEON SIMD functions, pure-Rust linear algebra via OxiBLAS, and zero C/Fortran dependencies.
NumRS2 0.1.1 is a same-day point release that locks in our first stable as the installable baseline: `cargo add numrs2` now resolves to 0.1.1, with the same public API, zero warnings, and 1,111+ passing tests — a drop-in over 0.1.0.
OptiRS is the Pure Rust ML optimization layer for the COOLJAPAN stack — the torch.optim / optax replacement built exclusively on SciRS2-Core. The 0.1.0 first stable release ships 19 optimizers, SIMD acceleration (2-4x), parallel parameter groups (4-8x), 1,134 passing tests, and zero clippy warnings.
OxiBLAS 0.1.2 brings complex-aware LAPACK to ndarray: SVD and QR for complex matrices, Cholesky and eigendecomposition for Hermitian matrices, plus relaxed trait bounds so solve() works with Complex32/Complex64. Pure Rust BLAS/LAPACK, no C or Fortran.
PandRS 0.1.0, the first stable release — a 100% Pure Rust DataFrame library with 70+ pandas-compatible methods, SIMD vectorization, Rayon parallelism, and up to 89% memory reduction. 1334+ tests, 175,000+ lines of Rust. No C, no Cython, no GIL.
SciRS2 0.1.1, a maintenance release one day after the first stable build — documentation refinements, dependency updates, build improvements and minor fixes on the 100% Pure Rust, OxiBLAS-backed SciPy/NumPy stack. No C, no Fortran.
OxiBLAS 0.1.1 fixes a critical sign bug in the symmetric eigenvalue QR algorithm so eigenvectors accumulate correctly for matrices that need multiple QR sweeps. The pure Rust BLAS/LAPACK foundation now powering the just-launched SciRS2 core.
SciRS2 0.1.0, the first stable release — a 100% Pure Rust scientific computing & AI/ML stack with SciPy-compatible APIs, built on OxiBLAS, refactored into clean modules with zero warnings and 10,861 passing tests. No C, no Fortran.
The first public release of OxiBLAS — a pure Rust implementation of BLAS and LAPACK. Full Level 1/2/3 BLAS, LU/Cholesky/QR/SVD/EVD, 9 sparse formats, f16/f128 precision, and DGEMM already matching OpenBLAS on large matrices. No C, no Fortran, no MKL.
The first real release of OxiCode: a compact, fast, no_std-friendly binary serialization library for Rust with 100% bincode 2.0 binary compatibility. Drop-in encode/decode, derive macros, optional SIMD, compression, schema versioning, streaming, and validation. 10,860 lines of pure Rust, 211 passing tests, zero unwrap.
The second release of the pure Rust spintronics library: PyO3 Python bindings, serde + HDF5 export, a memory pool allocator that cuts hot-path allocations by 99%, an HTMX/Axum web demo, runtime unit validation, and 17 worked examples. Simulate LLG dynamics, spin pumping, ISHE/SSE, skyrmions and more — fast, safe, and sovereign.
The first release of Spintronics: a pure Rust library for simulating spin dynamics, spin-current generation, and spin-charge conversion (ISHE, SSE) in magnetic and topological materials. LLG solvers, magnons, skyrmions, FEM micromagnetics, and WASM — an alternative to slow Python/NumPy scripts and fragile C++/Fortran lab codes.