Explore projects

Bergen snow simulator

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

Verktøy for å periodisere og produsere uttrekk av arkiv

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.

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.

Homotopy type theory cheatsheets to read the HoTT Book

An Agda development of set theory inside homotopy type theory.

An Agda development of set theory inside homotopy type theory.

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.

Curated applications for Kubernetes

for testing purposes

The AHA model, R1

HEDTOOLS: Fortran Modelling Toolbox

Random stuff that I like to save in git