Explore projects

An Agda development of set theory inside homotopy type theory.

Bergen snow simulator

An Agda development of set theory inside homotopy type theory.

Geant4-based Code to test propagation of photons in AIR at sea level (absorption, effects on energies etc...)

Analysis of transient events from functional imaging data

for testing purposes

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.

Random stuff that I like to save in git

Generates a TTH hash based on the first argument given to the program. Use make to build program. Uses gcc but is compatible with clang.

The AHA model, R1

HEDTOOLS: Fortran Modelling Toolbox

Englacial Layer Simulation Architecture (ELSA) decoupled from Yelmo, developing to be standalone but easy to couple to arbitrary ice sheet model input.

Homotopy type theory cheatsheets to read the HoTT Book