Explore projects

Updated





Verktøy for å periodisere og produsere uttrekk av arkiv
Updated 
Updated

Updated

Updated


An Agda development of set theory inside homotopy type theory.
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