Explore projects

Bergen snow simulator

An Agda development of set theory inside homotopy type theory.

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

HEDTOOLS: Fortran Modelling Toolbox

Englacial Layer Simulation Architecture (ELSA)

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/

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 å periodisere og produsere uttrekk av arkiv

Local copy for demonstration of submodules

Univalent mathematics in Agda

Random stuff that I like to save in git

An Agda development of set theory inside homotopy type theory.