This contains a directory with dot files (without the dots) as well as a script to safely install your dot files.

Systemoversikt, systemdrift ved DU-UB.

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

Guest REGistration

An Agda development of set theory inside homotopy type theory.

vue.js/bootstrap code for editing Norsk ordbank

Custom components for Marcus Lodspeakr

Univalent mathematics in Agda

A Python library for accessing Instructure's Canvas LMS API