An Infinitely Large Napkin

"Distributions" that might not add to one.

Optimize floating-point expressions for accuracy

Productive, portable, and performant GPU programming in Python.

Learn Julia via interactive tutorials!

Official Matplotlib cheat sheets

Numpy beginner tutorial

A Probability Theory Library for the Coq Theorem Prover

A SwiftUI view that renders LaTeX.

Converts and renders math expressions in Swift using MathJax and the JavaScriptCore framework.

A Coq library for Homotopy Type Theory

Lecture notes for a course on cryptography

Diagrams of concepts in physics/chemistry/ML

Fermat's Last Theorem for regular primes

All of my math stuff from grad school.

Real number computation software

A collection of formalized statements of conjectures in Lean.