Explore projects

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.

Verktøy for å konvertere FUP-en til JSON-format og generere nettsiden https://fupperåd.no

Planning and materials for NORBIS course GENSTAT (2020)

The second mandatory assignment for INF226 2021.