Explore projects

Englacial Layer Simulation Architecture (ELSA)

Bergen snow simulator

Local copy for demonstration of submodules

An Agda development of set theory inside homotopy type theory.

Univalent mathematics in Agda

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/

HEDTOOLS: Fortran Modelling Toolbox

Verktøy for å periodisere og produsere uttrekk av arkiv

Random stuff that I like to save in git

An Agda development of set theory inside homotopy type theory.

Curated applications for Kubernetes