Explore projects



Updated

An Agda development of set theory inside homotopy type theory.
Updated 
Updated


Håkon Gylterud / Pandoc Theorem
BSD 3Clause "New" or "Revised" LicenseUpdated 
Geant4based Code to test propagation of photons in AIR at sea level (absorption, effects on energies etc...)
Updated 
Updated

Updated

Bergen fMRI Group  external / functional transients
BSD 2Clause "Simplified" LicenseAnalysis of transient events from functional imaging data
Updated 
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 