Explore projects
-
Updated
-
An Agda development of set theory inside homotopy type theory.
Updated -
This presentation is part of Metacenter's HPC/NIRD user course of March 2021. The slides are in crypto-users.sent; it is in plain text and can be read as is. You can also check out and use https://tools.suckless.org/sent/ to show slides.
Updated -
UiB will be pilot for the national IAM project within the Norwegian sector for research and higher education (HE sector).
Updated -
Updated
-
Updated
-
Updated
-
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 -
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 -
Juraj.Palenik / IsoTrotter
MIT LicenseIsoTrotter code and sample data.
Topics: Atmospheric ...Updated -
Demonstration of how to reconcile your data with Kulturnav.org data using Docker, Fuseki and OpenRefine.
Updated -
Updated
-
Updated
-
Updated