Explore projects



Updated

Updated

Bergen snow simulator
Updated 
Englacial Layer Simulation Architecture (ELSA) coupled to yelmo
Updated 
Updated

Analysis of transient events from functional imaging data
Updated 
GEANT4 code to calculate Mean free Path and average energy loss of photons at a given altitude and a given energy. Can be easily change to other particle types.
Updated 

HEDTOOLS: Fortran Modelling Toolbox
Updated 

Updated

Homotopy type theory cheatsheets to read the HoTT Book
Updated 

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