Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
A book about category theory
Interpret Haskell programs into any cartesian closed category.
My personal repository of formally verified mathematics.
Functional Programming in Lean
Source code for the Mathematics in Lean tutorial.
Source code for the book "Math for Programming" (No Starch Press)
XML sources of SICP and SICP JS, and support for generating Interactive SICP JS, PDF, e-book and comparison editions
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
