Idris application-independent libraries. These are extensions of prelude and base Idris libraries, mainly motivated by the development of https://github.com/nicolabotta/SeqDecProbs.

Sea level projections for the ISIMIP2 Project

bac-scratchpad

Measure theory directory

Julia How-Tos

Companion repository for manuscript "Carbon emissions from Austrian health care between 2005 and 2015"

New layer designs for GNNs

The BAtch OBserve Aggregate Package is a small framework for performing numerical experiments on dynamical systems.

Simulation runs are grouped in batches, observed locally and the observations then aggregated.

Typed Data Transfer library, imported from Subversion

Creating read and convert functions for European Energy Datasheets