Examples of how to create colorful, annotated equations in Latex using Tikz.

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

A modern curriculum vitae class for LaTeX

papers of Per Martin Löf

ACM consolidated LaTeX styles

Unix system programming in OCaml book

Introduction to algebraic effects and handlers

Formalizations of Gradually Typed Languages in Agda

⌥ Simple Backus–Naur form (BNF) LaTeX package

Higher-order, higher-order automatic differentiation

Typing the linear pi calculus in Agda

A modal logic for reasoning about step-indexed logical relations

For exploring Symbolic Evaluation of Quantum Circuits, forwards and BACKWARDS

ACM consolidated LaTeX styles