Explore projects

An Agda development of set theory inside homotopy type theory.

Univalent mathematics in Agda

Exceptions for bbpager monitoring. One file per check type, one line per host. Lines staring with # are ignored.

Guest REGistration

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

Søkeklient til Marcus, Admin Marcus, Naturen og Skeivtarkiv

Informasjon om tilpasning av ServiceNow til arbeidsprosesser