The inside story of building the largest pure-Rust sovereignty stack
234 posts
OxiZ is a pure-Rust SMT solver and Z3 replacement. 0.2.1 sharpens the EUF (congruence-closure) hot path: reusable allocation buffers, O(k) incremental pop() via a sig_table/fingerprint_table trail, cache-friendly ENode layout, and new production EUF criterion benchmarks. 100% Z3 parity, still pure Rust.
Pure Rust FFT and the rustfft replacement. OxiFFT 0.3.0 lands an FFT-based Makhoul DCT (~4× flop reduction), a 7-gate FFTW parity harness, GPU batch FFT with auto-chunking, 3D pencil MPI, a cache-oblivious 4-step transform, and real WASM SIMD v128 — 1360 tests passing, default build still 100% Rust.
OxiLLaMa 0.1.2 is the Pure Rust LLM inference engine and sovereign alternative to llama.cpp. This release adds `oxillama hub pull/list/rm` (hf-hub, no Python), a full-screen TUI chat with live streaming (ratatui), conversation save/resume serialized via oxicode with SHA-256 integrity, and real weight loading for DBRX, Grok-1, and Mamba-2.
SplitRS is the AST-based Rust refactoring tool that splits monolithic source files into clean, compilable modules. 0.3.1 ships splitrs-lsp — a language server with diagnostics, a Refactor with splitrs code action, and live config watch — so the split happens right inside Neovim, Helix, or VS Code.
OxiLLaMa is a Pure Rust LLM inference engine — the sovereign alternative to llama.cpp. Version 0.1.1 ships a tiled FlashAttention CPU kernel, true continuous batching with zero padding waste, fused dequant+GEMM (~12% Q4_K_M decode gain), 5 new architectures (DBRX, Grok-1, Mamba-2, DeepSeek-V3, and more), and GPU coverage extended to 10 quantization types.
TenfloweRS 0.1.1 is an ergonomics + compatibility patch for the pure-Rust TensorFlow alternative: a declarative tensor! macro, an expanded prelude (transformers and RNNs), ndarray interop, ONNX re-exports, wgpu v29 compatibility across 57 sites, and richer typed Python FFI errors.
Pure-Rust legal statute engine: 0.1.5 is a sovereignty and hardening release. The last non-pure-Rust dependency (printpdf) is replaced by the COOLJAPAN fop-render PDF backend, an RSA CVE is eliminated, every unwrap() is removed from production code, and the default build is now 100% Pure Rust across 23 jurisdictions. 14,763 tests passing.
Pure Rust archive and compression with a new in-place editing workflow. OxiArc 0.2.7 adds the `oxiarc add` command for appending files to existing ZIP/TAR/LZH archives, lenient recovery of malformed archives, async LZH/TAR streaming, cooperative cancellation, colored output, and man pages. 12 formats, 10 codecs, 12 crates, ~47k SLoC, 1,041 tests.
Pure-Rust FFmpeg+OpenCV replacement: OxiMedia 0.1.5 adds the oximedia-ml crate — typed ML pipelines (SceneClassifier, ShotBoundaryDetector, and more) on the Pure-Rust OxiONNX runtime, with a Python oximedia.ml submodule and an opt-in, symbol-free-by-default design. Plus a codec-decoder honesty pass. 108 crates, ~2.68M SLoC, 81,383 tests.
OxiMedia is the pure-Rust FFmpeg + OpenCV replacement. Release 0.1.4 wires MJPEG and APV codecs end-to-end, adds OpenDML AVI and animated JPEG-XL containers, low-latency DASH/CMAF streaming, deeper FFmpeg CLI compat (-crf/-vf/two-pass), and fixes the JPEG encoder (round-trip PSNR 6.16 -> 32.53 dB). 108 crates, ~2.67M SLoC, 81,150+ tests passing.
OxiBonsai 0.1.2 adds ONNX ingestion: pull an onnx-community Ternary ONNX release (MatMulNBits, bits=2) and repack it straight to OxiBonsai's GGUF TQ2_0_g128 with a single command — driven by the pure-Rust oxionnx-proto reader, no Python and no onnxruntime. Sub-2-bit sovereign AI inference for the COOLJAPAN ecosystem.
OxiGDAL 0.1.4 lands Weiler-Atherton polygon clipping, Karney geodesic area, DE-9IM topology predicates, and marching-squares contours, plus AVX2/NEON SIMD resampling, a completed COPC point-cloud reader, R-tree STR bulk loading + kNN, and a migration from ort to oxionnx for fully Pure Rust ONNX inference. 76 crates, 12,064 passing tests.
High-performance DataFrame library for Rust — pandas-class API with SIMD, parallel, and distributed processing. 0.3.1 swaps the Excel/xlsx C-dependency chain (zip/flate2/miniz_oxide via calamine + simple_excel_writer) for an in-tree OxiARC-backed xlsx engine, removes the dirs -sys crate, and pins datafusion/parquet/arrow to drop liblzma/zstd-sys/lz4-sys. 1809 tests + 117 doc tests passing, zero clippy warnings. The DataFrame layer of the COOLJAPAN scientific stack.
A same-day patch on the heels of PandRS 0.3.1. Converts the root Cargo.toml into a virtual workspace, hoists ~55 common dependencies into [workspace.dependencies] for consistent versions across the crate and py_bindings, fixes clippy and test hygiene, makes test temp paths portable, and purges 134 stale backup files. No public API changes; 1813 tests pass.
A measurement-focused patch for NumRS2, the pure Rust NumPy alternative. 0.3.3 adds criterion benchmark suites for I/O, complex-number, and sparse-matrix operations, refreshes every dependency to its latest version, clears clippy warnings, and nudges the distributed-optimization module forward. Same numerical core, on SciRS2 0.3.0 and OxiBLAS.
Five days after its 1-bit debut, OxiBonsai grows GPUs: a native CUDA NVRTC backend (~21.9 tok/s on Ternary-Bonsai-1.7B, RTX 3060) and a fused Metal full-forward path (~50 tok/s, ~13x speedup) — plus the new ternary TQ2_0_g128 quant family, with NEON/AVX2/AVX-512 GEMV so it flies on CPU too. Sub-2-bit Pure Rust sovereign AI inference for the COOLJAPAN ecosystem, still with no llama.cpp, no BLAS, no C/Fortran.
A small maintenance release for OxiCUDA, the pure-Rust replacement for the NVIDIA CUDA Toolkit. Workspace-wide documentation and quality improvements, with all 28 crates aligned to 0.1.4 so the stack ships in lockstep. The only runtime dependency is the NVIDIA driver.
A quality-and-docs maintenance release for the pure-Rust NVIDIA CUDA Toolkit replacement — workspace-wide polish, internal version alignment to 0.1.3, and continued growth to ~260K lines of safe Rust across 28 crates. The only runtime dependency is still the NVIDIA driver.
Complete, type-safe, memory-safe rewrite of the entire NVIDIA CUDA Toolkit in pure Rust. cuBLAS/cuDNN/cuFFT/cuSPARSE/cuSOLVER/cuRAND and more — all in 253k SLoC across 28 crates. Only runtime dependency is the NVIDIA driver. PTX codegen + autotuner, 7 GPU backends (Metal/Vulkan/WebGPU/ROCm/LevelZero). ≥90–95% of native CUDA performance. The sovereign GPU computing layer for SciRS2 and the entire COOLJAPAN ecosystem (now 21M+ SLoC total).
Pure Rust implementation of the eml(x, y) = exp(x) − ln(y) operator + constant 1 that expresses ALL elementary mathematical functions via uniform binary trees. Symbolic regression engine, lowering to efficient IR, code generation, CLI, SMT solving via OxiZ, SIMD/parallel batch evaluation via oxiblas-core. 173 tests, zero FFI. The sovereign mathematical foundation for SciRS2 and the entire COOLJAPAN ecosystem (now 26M+ SLoC total).
Complete GGUF loading + 25 quantized formats + OpenAI-compatible API server — all in pure Rust. 56.2k SLoC, 11 crates, no C/C++/Fortran, built on SciRS2/OxiBLAS/OxiFFT. ≥80% of llama.cpp throughput, WASM/GPU/Python bindings, LLaMA/Mistral/Gemma/Phi/LLaVA support. The sovereign LLM inference layer for SciRS2 and the entire COOLJAPAN ecosystem (now 21M+ SLoC total).
Patent-free, memory-safe multimedia and computer-vision framework in pure Rust. Full reconstruction of FFmpeg (codecs, containers, streaming) + OpenCV (detection, tracking, enhancement). 2.65M+ SLoC, 106 stable crates, GPU (wgpu), WASM, async pipelines, royalty-free codecs only. High-performance media processing without C dependencies. The sovereign media layer for SciRS2 and the entire COOLJAPAN ecosystem (now 21M+ SLoC total).
Kaccy 0.2.0 hardens the Bitcoin-native Personal Token Platform for production: complete rustdoc (0 missing_docs), 375 new tests, 32 bonding-curve property tests, closed-form O(1) curves, BIP 340 Schnorr, bech32m, a memory profiler, custom LLM endpoints, and a dockerized stack.
First patch on the pure-Rust NVIDIA CUDA Toolkit replacement: six new oxicuda-blas elementwise activations (HardSigmoid, HardSwish, Softplus, LeakyRelu, Ceil, Floor) plus substantial ROCm/Vulkan/WebGPU backend growth. ~248K lines across 28 crates.