Explore projects
-
-
Updated
-
Updated
-
Here you can download all files needed for the V21 exam in INF101
Updated -
-
INF252 Project
Create a visualization program for 3D volume visualization for Dr Strangevis
Updated -
-
-
Updated
-
Documentation and configuration for our Raspberry Pi cluster. Our cluster is intended for testing and education.
Updated -
Updated
-
Updated
-
Updated
-
An Agda development of set theory inside homotopy type theory.
Updated