Explore projects

Here we will place all code from the lectures

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

An Agda development of set theory inside homotopy type theory.

Bergen snow simulator

Role for creating servers in the Openstack based nrec.

Client for accessing ephorte