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