TU Delft Programming Languages Group's repositories
master-thesis-template
Master thesis template for Computer Science at TU Delft
spoofax-jasmin
Eclipse editor for JasminXT, an assembler for the Java Virtual Machine.
ministatix.hs
A playground Statix implementation
scala.mstx
Ministatix specification of (mini)Scala name resolution
ternary.agda
An Agda library for programming with ternary relations