Jesse A. Tov's repositories
latex-ottalt
LaTeX package for improved formatting of rules and grammars generated by the Ott tool
latex-plstx
A configurable LaTeX environment for high-quality typesetting of grammars for programming language theory
latex-subref
LaTeX package for referring to nested/hierarchical references
latex-listproc
List processing macros for LaTeX
latex-pfsteps
LaTeX package providing three facilities for making it easier to typeset proofs.