Explore projects

Typed Data Transfer library, imported from Subversion

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

Codes and data files necessary to generate figures of tutorial review on nonlinear time series analysis using recurrence plots published in Vibration.

Port of selected IdrisLibs components to Python

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

Impacts on cropy yield in response to weather extremes

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

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

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