Explore projects

The second mandatory assignment for INF226 2021.

Here you can download all files needed for the V21 exam in INF101

Python client for accessing the ToA-API.

INF252 Project

Create a visualization program for 3D volume visualization for Dr Strangevis

a minimalist graphics engine

Planning and materials for NORBIS course GENSTAT (2020)

Documentation and configuration for our Raspberry Pi cluster. Our cluster is intended for testing and education.

An Agda development of set theory inside homotopy type theory.