Explore projects


Updated




Updated



An Agda development of set theory inside homotopy type theory.
Updated 
Verktøy for å periodisere og produsere uttrekk av arkiv
Updated 
Updated

Updated


Updated

Updated

Updated

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.
Updated