The expl3 (LaTeX3) Development Repository

An Infinitely Large Napkin

A Portable Graphic Format for TeX

Examples using emacs org mode babel inline source code with different backend languages

LaTeX facsimile of a Bible de Genève, 1564

The noweb tool for literate programming

A blueprint for a formalization of infinity-cosmos theory in Lean.

Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos

Issues related to the tagging project

A LaTeX class for theses and dissertations submitted to the University of Cincinnati