Explore projects

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.