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.

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

Wiki collection of web links for weather diagnostic

A script to generate a list of code developments for the REMIND meeting from git log

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