GitLab

A script to generate a list of code developments for the REMIND meeting from git log

Scripts to automatically run and access a Jupyter server instance on a cluster compute node.

This is a test project for GitLab at PIK

forest growth model 4C

Source data and calculation of product specifications and attributes. Especially from crops and livestock as well as secondary products.

Simple examples demonstrating cluster use (via SLURM) in different languages and computation models

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