Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
interactive scripts for visualizations and prototyping
-
-
-
Idris application-independent libraries. These are extensions of prelude and base Idris libraries, mainly motivated by the development of https://github.com/nicolabotta/SeqDecProbs.
-
Scripts to automatically run and access a Jupyter server instance on a cluster compute node.
-
A transitional project, originally meant to port IdrisLibs to Idris2
-
Companion repository for the publication "Modern energy powers the fertility transition: Evidence from 43 countries"
-
-
-
-
REMIND - REgional Model of INvestments and Development
-
Simple examples demonstrating cluster use (via SLURM) in different languages and computation models
-
A dataset of the harmonized district name and district index of 254 DHS (Demographic and Health Survey) datasets.
-
Trade WIth STorage (TWIST) model for computation of global commodity price and storage levels Original Description: Schewe et al. 2017 Environ. Res. Lett. 12 054005, https://doi.org/10.1088/1748-9326/aa678e
-
-
Port of selected IdrisLibs components to Python
-
-
temporary repo to overcome git lfs quota issues on github
-
This is a test project for GitLab at PIK