GitLab

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