Explore projects
-
Ny nettside for de nye ordbøkene som bruker api.ordbok.uib.no
Updated -
Updated
-
-
Updated
-
-
An Agda development of set theory inside homotopy type theory.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
UiB will be pilot for the national IAM project within the Norwegian sector for research and higher education (HE sector).
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
2D balanced atmospheric fields for initialising idealised WRF and COSMO simulations.
Initially developed by Annick Terpstra, but the project now contains considerable contributions from myself and Hai Bui.
Updated