Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Source data and calculation of crop specifications and attributes
-
-
This is a test project for GitLab at PIK
-
-
Simple examples demonstrating cluster use (via SLURM) in different languages and computation models
-
Scripts to automatically run and access a Jupyter server instance on a cluster compute node.
-
Idris application-independent libraries. These are extensions of prelude and base Idris libraries, mainly motivated by the development of https://github.com/nicolabotta/SeqDecProbs.
-
-
temporary repo to overcome git lfs quota issues on github
-
-
A transitional project, originally meant to port IdrisLibs to Idris2
-
-
interactive scripts for visualizations and prototyping
-
forest growth model 4C
-
-
-
-
REMIND - REgional Model of INvestments and Development
-
A dataset of the harmonized district name and district index of 254 DHS (Demographic and Health Survey) datasets.
