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

Updated

Updated

Updated

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 
Geant4based Code to test propagation of photons in AIR at sea level (absorption, effects on energies etc...)
Updated 
