Idris application-independent libraries. These are extensions of prelude and base Idris libraries, mainly motivated by the development of https://github.com/nicolabotta/SeqDecProbs.
MAgPIE data preprocessing scripts
DISCONTINUED! Please find the up to date repository at
where we now host the open-source repository
A transitional project, originally meant to port IdrisLibs to Idris2
Proxy server for the model API of the EUCalc project. Manages persistent storage of the model results and performs basic load balancing.
Port of selected IdrisLibs components to Python
Impacts on cropy yield in response to weather extremes