Each paper is a completed act of thought. We release nothing until it is both beautiful and true.
Theory realized as production systems. Every artifact below began as a line in one of our papers.
Real-time persistent homology computation and visualization. Used by research teams at Stanford, ETH Zürich, and the Simons Institute.
A proof assistant and visual debugger for simulation-based cryptographic security. Adopted by three national security laboratories.
Production-grade sheaf visualization and cohomology computation platform. Deployed for large-scale scientific data at two national labs.
The open-source implementation of our Inventiones paper. Now the reference simulator for distributed collective behavior research worldwide.
An interactive companion to our Annals paper. Every theorem, diagram, and bound is live-computed and explorable directly in the browser.