Explore projects

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

Impacts on cropy yield in response to weather extremes

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