Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
Updated
-
Updated
-
Creating read and convert functions for European Energy Datasheets
Updated -
Updated
-
Companion repository for publication "Fertility transition powered by women's access to electricity and modern cooking fuels"
Updated -
-
-
-
Updated
-
Impacts on cropy yield in response to weather extremes
Updated -
Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html
Updated -
Idris application-independent libraries. These are extensions of prelude and base Idris libraries, mainly motivated by the development of https://github.com/nicolabotta/SeqDecProbs.
Updated -
A transitional project, originally meant to port IdrisLibs to Idris2
Updated -
Scripts to automatically run and access a Jupyter server instance on a cluster compute node.
Updated -
Sea level projections for the ISIMIP2 Project
Updated