Explore projects

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

PHP-fpm/Nginx container build from Alpine Linux container.

Simple IDE

Here we will place all code from the lectures

An Agda development of set theory inside homotopy type theory.