Explore projects

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

Typed Data Transfer library, imported from Subversion

A dataset of the harmonized district name and district index of 254 DHS (Demographic and Health Survey) datasets.

Port of selected IdrisLibs components to Python

Companion repository for publication "Carbon emission trends and sustainability options in Austrian health care"

Impacts on cropy yield in response to weather extremes

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

This is the companion repository for the paper: "Livwell: a sub-national dataset on the Living conditions of Women and their Well-being for 52 countries [1990-2019]"

The dataset LivWell is deposited on Zenodo at: https://zenodo.org/record/5821532

The 2+k, 2 and 1 oscillator toy models that (in the first to cases) show super-exotic solitary states.

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".

This repository holds the high-level documentation for the new NACSOS platform architecture.