A textbook on informal homotopy type theory

A Latex style and template for paper preprints (based on NIPS style)

OWASP Foundation Web Respository

ACM consolidated LaTeX styles

Compares two latex files and marks up significant differences between them. Releases on www.ctan.org and mirrors

A collection of knitr examples

Unix system programming in OCaml book

Git In the Trenches

Default support files for generating LaTeX documents with MMD 3 through MMD 5

Status: Usable (Latest stable version 0.9.2)