Explore projects

Real-time Whitted-style Ray Tracer by Johnno de Vos and Maurits van der Veen.

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

Agda model of our generic diff algorithm.

Data voor tussenpresentatie