Explore projects

An Agda development of set theory inside homotopy type theory.

Bergen snow simulator

Univalent mathematics in Agda

Englacial Layer Simulation Architecture (ELSA)

Englacial Layer Simulation Architecture (ELSA) decoupled from Yelmo, developing to be standalone but easy to couple to arbitrary ice sheet model input.

Englacial Layer Simulation Architecture (ELSA) coupled to yelmo

Random stuff that I like to save in git

The AHA model, R1

An Agda development of set theory inside homotopy type theory.

Verktøy for å periodisere og produsere uttrekk av arkiv

Curated applications for Kubernetes