Latex code for making neural networks diagrams

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

A LaTeX class for producing presentations and slides

papers of Per Martin Löf

The Not So Short Introduction to LaTeX

Draft proposal for additional sub/superscript characters in Unicode

Cryptography course slides at Harbin Institute of Technology

Type inference in OCaml

Proof of correctness of the "np-convert-assignments" pass of the Chez Scheme compiler