An Agda development of set theory inside homotopy type theory.

Univalent mathematics in Agda

a minimalist graphics engine

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

Client for accessing ephorte

FLIIMP - FARLAB liquid isotope measurements processor

vue.js/bootstrap code for editing Norsk ordbank

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

En kommandolinjeapplikasjon for å hente folkeregisteropplysninger for flere personer på én gang.