Repositories list

• cs4200-template

  Public
  Scala

  •4•2•0•0•Updated Sep 12, 2022Sep 12, 2022

• master-thesis-template

  Public
  Master thesis template for Computer Science at TU Delft

  TeX

  •11•11•1•1•Updated May 19, 2022May 19, 2022

• ternary.agda

  Public
  An Agda library for programming with ternary relations

  Agda

  •4•0•0•0•Updated Dec 19, 2021Dec 19, 2021

• jvm.agda

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

  Agda

  •

  Apache License 2.0

  •2•0•0•0•Updated Mar 26, 2021Mar 26, 2021

• ministatix.hs

  Public
  A playground Statix implementation

  Haskell

  •

  Apache License 2.0

  •1•0•0•0•Updated Feb 22, 2021Feb 22, 2021

• mj.agda

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

  Agda

  •

  Apache License 2.0

  •1•0•0•0•Updated Oct 14, 2020Oct 14, 2020

• scala.mstx

  Public
  Ministatix specification of (mini)Scala name resolution

  Scala

  •1•0•0•0•Updated Aug 27, 2020Aug 27, 2020

• java.mstx

  Public
  A ministatix specification of a Java 11 subset

  Java

  •1•0•0•0•Updated Aug 19, 2020Aug 19, 2020

• software-security-2015-2016

  Public
  C

  •1•1•0•0•Updated Mar 18, 2020Mar 18, 2020

• spoofax-jasmin

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

  Objective-J

  •6•2•0•0•Updated Dec 3, 2014Dec 3, 2014

• metac

  Public
  Puppet

  •1•1•0•0•Updated Jul 4, 2013Jul 4, 2013