Explore projects

Univalent mathematics in Agda

The AHA model, R1

Bergen snow simulator

Local copy for demonstration of submodules

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/

Analysis of transient events from functional imaging data

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

GEANT4 code to calculate Mean free Path and average energy loss of photons at a given altitude and a given energy. Can be easily change to other particle types.

Random stuff that I like to save in git

HEDTOOLS: Fortran Modelling Toolbox

Curated applications for Kubernetes

Homotopy type theory cheatsheets to read the HoTT Book

An Agda development of set theory inside homotopy type theory.

An Agda development of set theory inside homotopy type theory.