TU Delft Programming Languages Group

TU Delft Programming Languages Group's repositories

Master thesis template for Computer Science at TU Delft

Language:TeX11 3 4

Language:Scala2 70

Eclipse editor for JasminXT, an assembler for the Java Virtual Machine.

Language:Objective-J2 30

Language:Puppet1 50

Language:C1 20

A ministatix specification of a Java 11 subset

Language:Java010

Typed Compilation of Middleweight Java to a JVM Bytecode subset in Agda

Language:AgdaApache-2.0010

A playground Statix implementation

Language:HaskellApache-2.0010

Ministatix specification of (mini)Scala name resolution

Language:Scala010

An Agda library for programming with ternary relations

Language:Agda010

https://metaborg.github.io/mj.agda/

Language:AgdaApache-2.0010