TU Delft Programming Languages Group

Pinned Repositories

cs4200-template
Language:Scala2 7 04
java.mstx
A ministatix specification of a Java 11 subset
Language:Java0 1 00
jvm.agda
Typed Compilation of Middleweight Java to a JVM Bytecode subset in Agda
Language:Agda0 1 00
master-thesis-template
Master thesis template for Computer Science at TU Delft
Language:TeX11 3 411
metac
Language:Puppet1 5 00
ministatix.hs
A playground Statix implementation
Language:Haskell0 1 00
scala.mstx
Ministatix specification of (mini)Scala name resolution
Language:Scala0 1 00
software-security-2015-2016
Language:C1 2 01
spoofax-jasmin
Eclipse editor for JasminXT, an assembler for the Java Virtual Machine.
Language:Objective-J2 3 00
ternary.agda
An Agda library for programming with ternary relations
Language:Agda0 1 00

TU Delft Programming Languages Group's Repositories

tudelft-pl/master-thesis-template
Master thesis template for Computer Science at TU Delft
Language:TeX11 3 411
tudelft-pl/cs4200-template
Language:Scala2 7 04
tudelft-pl/spoofax-jasmin
Eclipse editor for JasminXT, an assembler for the Java Virtual Machine.
Language:Objective-J2 3 00
tudelft-pl/metac
Language:Puppet1 5 00
tudelft-pl/software-security-2015-2016
Language:C1 2 01
tudelft-pl/java.mstx
A ministatix specification of a Java 11 subset
Language:Java0 1 00
tudelft-pl/jvm.agda
Typed Compilation of Middleweight Java to a JVM Bytecode subset in Agda
Language:Agda0 1 00
tudelft-pl/ministatix.hs
A playground Statix implementation
Language:Haskell0 1 00
tudelft-pl/scala.mstx
Ministatix specification of (mini)Scala name resolution
Language:Scala0 1 00
tudelft-pl/ternary.agda
An Agda library for programming with ternary relations
Language:Agda0 1 00
tudelft-pl/mj.agda
https://metaborg.github.io/mj.agda/
Language:Agda1 0