Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Open source book dedicated to helping you to make the best possible sourdough bread at home.

A Tufte-inspired LaTeX class for producing handouts, papers, and books

MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"

An open-source, customizable intermediate logic textbook

A minimal & modern LaTeX template for your (bachelor's | master's | doctoral) thesis

Some templates for Pandoc.

A document version of my "Vipassana for Hackers" talk

The Dao of Functional Programming

amateur translation project of Grothendieck's EGA.

The noweb tool for literate programming

An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado

Mathematical Components (the Book)

A neatly typeset version of John McCarthy's classic paper

Generate commutative diagrams inside of Pandoc with Tikz

Lab Notebook - Source Version

BibTeX files

BibTeX file of philosophy papers

Notes on P-omega

Yoneda lemma, homotopy and ontology

My silly archive of research paper source code