Ebook-Server for IT-internal use. Using Calibre-Web.

Creating read and convert functions for European Energy Datasheets

Companion repository for publication "Fertility transition powered by women's access to electricity and modern cooking fuels"

forest growth model 4C

forest growth model 4C

New layer designs for GNNs

Impacts on cropy yield in response to weather extremes

Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html

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