Explore projects

Bergen snow simulator

Englacial Layer Simulation Architecture (ELSA)

An Agda development of set theory inside homotopy type theory.

WaterSip is a diagnostic software tool that identifies source, transport and arrival properties of atmospheric water vapour based on air parcel backward trajectories, using the moisture source diagnostic of Sodemann et al. (2008). Moisture sources are thereby identified from changes in specific humidity interpolated to the air parcel trajectory per time step. The changes in specific humidity at each time step are set in relation with the current humidity of the air parcel. This allows to estimate the quantitative contribution of moisture to the air parcel at a specific location, a so-called moisture accounting. WaterSip identifies and aggregates further properties of the moisture source and during the moisture transport, such as temperature, pressure, latitude etc.

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.

Verktøy for å konvertere FUP-en til JSON-format og generere nettsiden https://fupperåd.no

HEDTOOLS: Fortran Modelling Toolbox

FishMet is a mechanistic, process-based simulation model aimed at predicting appetite, feed intake and growth in salmonid fish. More information at https://fishmet.uib.no/

Verktøy for å periodisere og produsere uttrekk av arkiv

Local copy for demonstration of submodules

Univalent mathematics in Agda

An Agda development of set theory inside homotopy type theory.