The inside story of building the largest pure-Rust sovereignty stack
324 posts
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.
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.