A modern LaTeX Beamer theme

A textbook on informal homotopy type theory

minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.

Course notes for CS224N Winter17

papers of Per Martin Löf

Make your own quadrille, graph, hex, etc paper! Uses the pgf/TikZ package for LaTeX, which should be part of any modern TeX installation.

The microtype package