Explore projects

Ekstern dokumentasjon som er publisert på bott-samarbeidet.no

An Agda development of set theory inside homotopy type theory.

Ny nettside for de nye ordbøkene som bruker api.ordbok.uib.no

How to create and use course specific Discord servers

Englacial Layer Simulation Architecture (ELSA) decoupled from Yelmo, developing to be standalone but easy to couple to arbitrary ice sheet model input.

Exceptions for bbpager monitoring. One file per check type, one line per host. Lines staring with # are ignored.

Enterprise linux 8 and 9 (primarily Rocky Linux)