Explore projects

An Agda development of set theory inside homotopy type theory.

Bergen snow simulator

An Agda development of set theory inside homotopy type theory.

Univalent mathematics in Agda

Englacial Layer Simulation Architecture (ELSA)

Curated applications for Kubernetes

for testing purposes

Random stuff that I like to save in git

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

Verktøy for å periodisere og produsere uttrekk av arkiv

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.

Homotopy type theory cheatsheets to read the HoTT Book