Explore projects

Teaching resources

An Agda development of set theory inside homotopy type theory.

Univalent mathematics in Agda

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

fuseki rolle

fork av geerlinguy/apache-ansible https://github.com/geerlingguy/ansible-role-apache

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

ParGram grammars

Englacial Layer Simulation Architecture (ELSA) decoupled from Yelmo, developing to be standalone but easy to couple to arbitrary ice sheet model input.