Explore projects


Ice and Climate Dynamics / BESSI
GNU General Public License v3.0 or laterBergen snow simulator
Updated 
Updated

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

Verktøy for å periodisere og produsere uttrekk av arkiv
Updated 
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 
Updated


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

Updated

Updated