Explore projects
-
-
-
-
-
Englacial Layer Simulation Architecture (ELSA) decoupled from Yelmo, developing to be standalone but easy to couple to arbitrary ice sheet model input.
Updated -
Englacial Layer Simulation Architecture (ELSA) coupled to yelmo
Updated -
-
-
An Agda development of set theory inside homotopy type theory.
Updated -
Updated
-
Verktøy for å periodisere og produsere uttrekk av arkiv
Updated -
Updated
-
Updated
-
-
Updated
-
Updated
-
Updated