Ny nettside for de nye ordbøkene som bruker api.ordbok.uib.no
Bergen snow simulator
Query builder for Elasticsearch
An Agda development of set theory inside homotopy type theory.
UiB will be pilot for the national IAM project within the Norwegian sector for research and higher education (HE sector).
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.