Explore projects

Meeloopdag projecten

Mondriaan sparse matrix partitioning package, described on website https://www.staff.science.uu.nl/~bisse101/Mondriaan/

Lambda 2 Vector

Global Game Jam 2017

shitty tetris

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

Agda model of our generic diff algorithm.

Backup build trigger for CI

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