tov/latex-listproc
List processing macros for LaTeX
Developer Profile
tov
Discovered public repositories for tov in the GitHub catalog.
tov/latex-crush
LaTeX package for shrinking boxes (à la \llap) in a variety of ways
tov/latex-subref
LaTeX package for referring to nested/hierarchical references
tov/latex-ottalt
LaTeX package for improved formatting of rules and grammars generated by the Ott tool
tov/latex-pfsteps
LaTeX package providing three facilities for making it easier to typeset proofs.
tov/latex-plstx
A configurable LaTeX environment for high-quality typesetting of grammars for programming language theory
tov/memoize
A Haskell memoization library
tov/alms
The Alms Programming Language
tov/ihmx
Public repository.
tov/shcaml
Caml-Shcaml: An Ocaml library for Unix shell programming