An embedded scheme interpreter in Rust

Solutions to exercises from tov/type-systems-seminar

A tool for producing custom, tailored movies, particularly the original Star Wars movies

List processing macros for LaTeX

LaTeX package for shrinking boxes (à la \llap) in a variety of ways

LaTeX package for referring to nested/hierarchical references

LaTeX package for improved formatting of rules and grammars generated by the Ott tool

LaTeX package providing three facilities for making it easier to typeset proofs.

A configurable LaTeX environment for high-quality typesetting of grammars for programming language theory

A Haskell memoization library

The Alms Programming Language

Caml-Shcaml: An Ocaml library for Unix shell programming