OxiLean – Pure Rust Interactive Theorem Prover (Zero C Deps, WASM)
Pure-Rust Lean 4 alternative shipping WASM; 99.24% MathLib4 compatibility proven.

Dragging the timeline reveals how splits, concats and shared nodes evolve across versions, which makes an abstract data structure palpably understandable. Running the implementation in-browser via Rust→WASM is a neat technical demo, but it's primarily educational — more inline explanations or scenarios would make it genuinely useful beyond hobbyist exploration.
Rust developers, functional programmers, data-structure researchers, CS educators and students
Pure-Rust Lean 4 alternative shipping WASM; 99.24% MathLib4 compatibility proven.
Guided raster-to-SVG tracing with genetic optimization offers more control than Vectorizer.ai.
WASM-powered FFT visualizer, but lacks unique features beyond existing tools.
WASM SIMD vector DB in browser beats JavaScript 5x, but limited to in-memory search.
More general than aTAM/kTAM tile models, but the audience is extremely narrow.
Finally, a visual tool to debug Rust niche optimizations without reading llvm-ir dumps.