Ny nettside for de nye ordbøkene som bruker api.ordbok.uib.no
Query builder for Elasticsearch
Bergen snow simulator
An Agda development of set theory inside homotopy type theory.
Species distribution models for ArtsApp. Based on https://github.com/joechip90/ArtsApp/ by Joseph Chipperfield.
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.
HEDTOOLS: Fortran Modelling Toolbox