Discover projects, groups and snippets. Share your projects with others
Python workflow for flood mapping using Sentinel-1 data.
forest growth model 4C
New layer designs for GNNs
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.
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.
Sea level projections for the ISIMIP2 Project
Code repository accompanying the publication: "Network-induced multistability: Lossy coupling and exotic solitary states"
DISCONTINUED! Please find the up to date repository at
where we now host the open-source repository