Explore projects

Port of selected IdrisLibs components to Python

A transitional project, originally meant to port IdrisLibs to Idris2

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

FU Berlin (SS24): Analyzing weather-type related trends of precipitation over Europe

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

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