Explore projects

A trial repository... dummy

Alignment of Tip2Tip dataset with the Astra toolbox

Various versions of T2, an automated unit testing tool for Java classes. See also T3, the next evolution of T2.

An automated unit testing tool for Java classes.

Utrecht Engine of Constraint Handling Rules with Priorities

Agda model of our generic diff algorithm.

een test

Script dat kan worden gebruikt om de testdatabase te genereren.

GUI van de resultaten van een zoekopdracht en GUI van het wijzigen van tags.

Data voor tussenpresentatie

Parallel and concurrent haskell exercises

zoekt file id via de naam vh file

Probeert iets te maken van een zoekopdracht, momenteel lijsten van tags

Backup build trigger for CI

The Quique experimental compiler

A Haskell program that simulates Kempe's universal linkages, drawing any algebraic curve in the plane.