Explore projects

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

Here we will place all code from the lectures

Simple IDE

An Agda development of set theory inside homotopy type theory.

Role for creating servers in the Openstack based nrec.

Supports: – PHP/Nginx – unprivileged mode – crond (not in unprivileged mode)