Explore projects

MAgPIE data preprocessing scripts

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

scripts for IRS

Wiki collection of web links for weather diagnostic

A transitional project, originally meant to port IdrisLibs to Idris2

Wiki of developed products for Jordan

This repository houses code and data for Többen et al. "Spatial and socio-economic hotspots of energy poverty and carbon tax impacts of 38 million households".

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

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

Project: Areawise significance tests for recurrence network analysis Jaqueline Lekscha and Reik V. Donner code for analyses performed in corresponding paper (submitted to Proceedings of the Royal Society A)

MAgPIE data preprocessing scripts

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