An Agda development of set theory inside homotopy type theory.
Bergen snow simulator
Verktøy for å periodisere og produsere uttrekk av arkiv
Homotopy type theory cheatsheets to read the HoTT Book
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.
Geant4-based Code to test propagation of photons in AIR at sea level (absorption, effects on energies etc...)
Univalent mathematics in Agda