Popular repositories Loading

1. master-thesis-template master-thesis-template Public

   Master thesis template for Computer Science at TU Delft

   TeX 12 13

2. cs4200-template cs4200-template Public

   Scala 3 6

3. spoofax-jasmin spoofax-jasmin Public

   Forked from MetaBorgCube/spoofax-jasmin

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

   Objective-J 2

4. metac metac Public

   Forked from metaborg/metac

   Puppet 1

5. software-security-2015-2016 software-security-2015-2016 Public

   C 1 1

6. ternary.agda ternary.agda Public

   Forked from ajrouvoet/ternary.agda

   An Agda library for programming with ternary relations

   Agda