Discover projects, groups and snippets. Share your projects with others
MAgPIE data preprocessing scripts
Idris application-independent libraries. These are extensions of prelude and base Idris libraries, mainly motivated by the development of https://github.com/nicolabotta/SeqDecProbs.
A transitional project, originally meant to port IdrisLibs to Idris2
Scripts to automatically run and access a Jupyter server instance on a cluster compute node.
forest growth model 4C
Source data and calculation of product specifications and attributes.
Especially from crops and livestock as well as secondary products.
temporary repo to overcome git lfs quota issues on github
interactive scripts for visualizations and prototyping