Explore projects
-
-
-
Updated
-
An Agda development of set theory inside homotopy type theory.
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
-
-
Geant4-based Code to test propagation of photons in AIR at sea level (absorption, effects on energies etc...)
Updated -
Updated
-
Updated
-
Updated
-
Bergen fMRI Group - external / functional transients
BSD 2-Clause "Simplified" LicenseAnalysis of transient events from functional imaging data
Updated -
-
-
Håkon Gylterud / Pandoc Theorem
BSD 3-Clause "New" or "Revised" LicenseUpdated