21st Century C
Ben Klemens
Stonehouses Anatomy (Jap)
Superani
Meditations
Marcus Aurelius
Coding the Matrix: Linear Algebra Through Computer Science Applications
Philip N. Klein
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program