Explore projects

Planning and materials for NORBIS course GENSTAT (2020)

The second mandatory assignment for INF226 2021.

Vegard Dæmring INF226 Compulsory Assignment 2+3 (Fall 2022) https://git.app.uib.no/inf226/22h/inf226-22h/-/wikis/assignment-2-3/assignment-2-3#questions

A web based dna extraction and sequence information utility

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

Univalent mathematics in Agda