Pinned Repositories
cs4200-template
java.mstx
A ministatix specification of a Java 11 subset
jvm.agda
Typed Compilation of Middleweight Java to a JVM Bytecode subset in Agda
master-thesis-template
Master thesis template for Computer Science at TU Delft
metac
ministatix.hs
A playground Statix implementation
scala.mstx
Ministatix specification of (mini)Scala name resolution
software-security-2015-2016
spoofax-jasmin
Eclipse editor for JasminXT, an assembler for the Java Virtual Machine.
ternary.agda
An Agda library for programming with ternary relations
TU Delft Programming Languages Group's Repositories
tudelft-pl/master-thesis-template
Master thesis template for Computer Science at TU Delft
tudelft-pl/cs4200-template
tudelft-pl/spoofax-jasmin
Eclipse editor for JasminXT, an assembler for the Java Virtual Machine.
tudelft-pl/metac
tudelft-pl/software-security-2015-2016
tudelft-pl/java.mstx
A ministatix specification of a Java 11 subset
tudelft-pl/jvm.agda
Typed Compilation of Middleweight Java to a JVM Bytecode subset in Agda
tudelft-pl/ministatix.hs
A playground Statix implementation
tudelft-pl/scala.mstx
Ministatix specification of (mini)Scala name resolution
tudelft-pl/ternary.agda
An Agda library for programming with ternary relations
tudelft-pl/mj.agda
https://metaborg.github.io/mj.agda/