Topic

math

4 site entries connected to this topic.

Projects

Builds and systems carrying this tag

View all →

ries-rs

Active

A reference implementation of RIES that ships as a CLI, Rust library, Python bindings, and a browser/WASM app.

rust wasm math number-theory cli

repo ↗ ▸ live demo

Writing

Notes and essays tied to this tag

View all →

Building ries-rs: A Rust rewrite of the inverse equation solver

Why I rewrote a 25-year-old C program in Rust, what I learned about expression enumeration, and how WASM made the web version possible.

March 15, 2026

rust wasm math ries

Hall

Hall entries that share this topic

View all →

The Iron Formalist Medal

For proving that a theorem prover can also be a serious programming language.

Formal Methods

Lean 4

Functional programming language and interactive theorem prover. The best current tool for formal mathematics that is also a real programming language.

Visit ↗

lean4 theorem-proving formal-verification math

The Grand Archive Laurels

For lifetime achievement in public weirdness, mathematical density, and internet maximalism.

Featured Personal Sites

mrob.com — Robert Munafo's Website

A sprawling personal site covering mathematics, large numbers, fractals, cellular automata, and more. The kind of website that used to be common and should still be.

Visit ↗

math fractals web-history