Explore projects

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.

for testing purposes

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

Verktøy for å periodisere og produsere uttrekk av arkiv

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.

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.

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.

An Agda development of set theory inside homotopy type theory.