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.

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

Agrimate model of agricultural markets, including pre- and post-processing scripts.

Data about countries present in isipedia. Formerly countrymasks repo. Imported from GitHub.

Simple examples demonstrating hlrs2015 cluster use (via SLURM) in different languages and computation models

Simple examples demonstrating hlrs2015 cluster use (via SLURM) in different languages and computation models