An Infinitely Large Napkin
Highly Optimized Graphics Math (glm) for C
A Portable General-Purpose Computer Algebra System
A textbook on informal homotopy type theory
a space-time interpolation geostatistical tool
Tail probability calculator for continuous random variable
Software tool for Research in Computational Population Genetics
Real-time interactive fractal zoomer