The inside story of building the largest pure-Rust sovereignty stack
234 posts
Pure-Rust SciPy/NumPy replacement. This release: SIMD phase 60-69 (8 new AVX2/NEON modules), modular Bowyer-Watson Delaunay (2D/3D/ND + constrained), OxiFFT now the 100% Pure Rust FFT default, and autograd optimizer fixes. 11,400+ tests, 27 crates. No C, no Fortran.
OxiArc 0.2.0 adds full LZW compression for TIFF and GIF — MSB/LSB bitstreams, variable bit widths — bringing the workspace to 10 pure-Rust crates. Now on crates.io, with a default test suite cut 76% faster (137s → 32s) and 427 passing tests. Pure Rust archive and compression with no C, no zlib, no libarchive.
A complete, high-performance Satisfiability Modulo Theories solver written entirely in Rust. Full CDCL(T) architecture, comprehensive theory support, proof generation, and Z3-level performance — with zero C/C++ dependencies and full memory safety.
Pure-Rust legal statute engine. 0.1.4 adds 5 new jurisdictions (Korea, Mexico, Malaysia, Russia, Saudi Arabia) for 23 total, 6 production examples proving one generic engine handles Civil/Common/Supranational law, real-time self-healing verification on the OxiZ SMT solver, and auto-generated TypeScript/Python SDKs. 14,705 tests passing.
OxiFFT 0.1.2 is a packaging patch for the Pure Rust FFTW replacement: it removes a stray examples/**/CLAUDE.md path that broke crate unpacking on Windows, restoring clean cross-platform installs and unblocking PyPI publishing for dependent crates like scirs2-python.
SciRS2 0.1.3 expands Python (PyO3) bindings across autograd, datasets, graph, io, metrics, ndimage, neural, sparse, text, transform and vision; adds PCHIP linear extrapolation; better manylinux wheels and an Adam scalar fix. 100% Pure Rust on OxiBLAS + OxiFFT.
OxiRAG 0.1.0 is the first release of a Pure Rust Retrieval-Augmented Generation engine: a four-layer pipeline (semantic search, draft verification, SMT logic checking, and knowledge-graph retrieval) that compiles to a single static binary or WASM.
A polish patch for QuantRS2, the pure-Rust quantum computing framework — Python-binding bugfixes, refreshed docs, dependency-compatibility bumps, and the removal of legacy C++ SymEngine tooling now that symbolic math is 100% Rust.
Legalis-RS 0.1.3 doubles jurisdiction coverage from 8 to 18 — adding the UAE, Australia, Brazil, Canada, China, India, Indonesia, Laos, Thailand, Vietnam and South Africa — across 41 crates, 863,282 lines and 13,083 passing tests.
OxiRS 0.1.0 is the first stable release of a Rust-native Semantic Web platform: complete SPARQL 1.1/1.2, a Fuseki-compatible HTTP server, GraphQL over RDF, SHACL validation, and industrial IoT bridges — a JVM-free alternative to Apache Jena + Fuseki.
OxiZ 0.1.2 adds PyO3 Python bindings (oxiz-py), a Pure-Rust BLAS + multi-precision (MPFR-style) math layer, an SMT-COMP benchmark suite, and a vastly expanded CLI (dashboard/server/distributed/TPTP/interpolation). A Pure Rust Z3 replacement with zero C/C++.
QuantRS2 is a pure-Rust quantum computing framework — type-safe circuits, state-vector/stabilizer/tensor-network simulators, Grover/QFT/VQE/QAOA, and IBM/Azure/AWS/D-Wave hardware integration. This is the first stable release.
The first patch for QuantRS2, the pure-Rust quantum computing framework. Fixes conditional compilation and feature gating for cloud backends (IBM, Azure, AWS) and photonic modules so the modular workspace builds cleanly with any feature set.
AmateRS is a distributed database with Fully Homomorphic Encryption — run queries and computation directly on encrypted data without ever exposing plaintext to the server. Built in Pure Rust with LSM-tree storage, an FHE compute engine, Raft consensus, and gRPC.
IPFRS — Inter-Planet File RUST System — debuts at 0.1.0: a Pure Rust, content-addressed distributed file system with Sled-backed block storage, DAG-CBOR/IPLD, an HNSW semantic search index, and TensorLogic logic programming. Local-first, ~4,417 lines, 8 crates.
Kaccy 0.1.0 is here — a Bitcoin-native Personal Token Platform for professionals. ~206k lines of safe Rust, 3,296 tests, 7 bonding curves, a 0-1000 reputation system, Lightning, PSBT, and threshold crypto. Proof of Output, not speculation.
Kizzasi 0.1.0 is the first release of an Autoregressive General-Purpose Signal Predictor (AGSP) in Pure Rust — neuro-symbolic prediction for audio, sensors, robotics, and video that fuses State Space Models (Mamba/RWKV/S4) with TensorLogic constraints.
OxiFY 0.1.0 is a Pure Rust, Dify-class LLM workflow orchestration platform: compose AI applications as type-safe directed acyclic graphs. 13 specialized crates, 15+ node types, in-process vector search, CeleRS-backed distribution, 2520+ tests. No Python, no Node.
MielinOS 0.1.0-rc.1 Oligodendrocyte is the first release candidate of a pure-Rust microkernel operating system for distributed AI agents: a Kademlia DHT mesh over QUIC, SWIM-style gossip, live agent migration, WebAssembly sandboxing, and SIMD tensor ops. 155,178 lines of Rust, 3,255 passing tests, zero clippy warnings.
Legalis-RS 0.1.2 replaces the C++ Z3 backend in its legal verifier with OxiZ, the Pure-Rust SMT solver — rigorous proofs with no native toolchain. Plus a zero-warning build across 25 crates and 11,365 passing tests.
SciRS2 0.1.2 completes the Pure Rust journey — FFT migrates from FFTW to Pure Rust OxiFFT, plus zero-allocation SIMD ops and functional optimizers (SGD/Adam/RMSprop). 100% Pure Rust by default on OxiBLAS + OxiFFT. No C, no Fortran.
OxiFFT 0.1.1 is a maintenance patch for the Pure Rust FFTW replacement: hashbrown and spin bumped to their latest, the MSRV pin dropped to track current Rust, and 48 clippy warnings eliminated for a zero-warning build at 652 passing tests.
The first real release of OxiArc: pure Rust archive and compression with 9 crates, 8 compression algorithms, and 10 container formats — ZIP, TAR, GZIP, LZH, XZ, 7z, CAB, LZ4, Zstd, Bzip2 — all reimplemented from scratch. No C, no zlib, no libarchive. ~19,600 lines, 371 tests, Rust 1.85+ / Edition 2024.
OxiFFT 0.1.0 debuts — a 99% Rust port of FFTW3. Complex/real transforms, DCT/DST, multi-dimensional and batch FFTs, runtime-dispatched SIMD, and 20+ features beyond RustFFT (Sparse FFT, STFT, NUFFT, autodiff, GPU, MPI, WASM). The spectral backbone for the SciRS2 numerical stack.