Es el creador de TX, del sistema de diseño de tipos METAFONT y del estilo de programación conocido como programación literaria ("Literate programming").