lodspeakr components for admin
Univalent mathematics in Agda
Monitors, loggs and generate of 2D line plots using a Raspberry Pi 1-wire temperature sensors. Written in PHP and R.
Webapp for å sjekke dubletter i samlinger ved UBB
Planning and materials for NORBIS course GENSTAT (2020)
The second mandatory assignment for INF226 2021.