Explore projects

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

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