Explore projects
-
-
-
An Agda development of set theory inside homotopy type theory.
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 -
Per Christian Gaustad / FUP
GNU General Public License v2.0 or laterVerktøy for å konvertere FUP-en til JSON-format og generere nettsiden https://fupperåd.no
Updated -
Updated
-
-
Verktøy for å periodisere og produsere uttrekk av arkiv
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 -
Homotopy type theory cheatsheets to read the HoTT Book
Updated