Explore projects

The second mandatory assignment for INF226 2021.

Planning and materials for NORBIS course GENSTAT (2020)

Univalent mathematics in Agda

A web based dna extraction and sequence information utility

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

The second mandatory assignment for INF226 2021.

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