Discover projects, groups and snippets. Share your projects with others
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