Explore projects
-
-
Bergen snow simulator
Updated -
Updated
-
An Agda development of set theory inside homotopy type theory.
Updated -
Updated
-
Geant4-based Code to test propagation of photons in AIR at sea level (absorption, effects on energies etc...)
Updated -
Updated
-
Updated
-
Analysis of transient events from functional imaging data
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 -
-
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.
Updated -
HEDTOOLS: Fortran Modelling Toolbox
Updated -
Homotopy type theory cheatsheets to read the HoTT Book
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