Univalent mathematics in Agda
The AHA model, R1
Bergen snow simulator
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
Analysis of transient events from functional imaging data
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.
Random stuff that I like to save in git
HEDTOOLS: Fortran Modelling Toolbox
Curated applications for Kubernetes
Homotopy type theory cheatsheets to read the HoTT Book
An Agda development of set theory inside homotopy type theory.