Explore projects
-
Updated
-
Updated
-
Package to handle MRIO tables and perform basic Footprinting operations
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
-
A transitional project, originally meant to port IdrisLibs to Idris2
Updated -
Updated
-
Updated
-
Idris application-independent libraries. These are extensions of prelude and base Idris libraries, mainly motivated by the development of https://github.com/nicolabotta/SeqDecProbs.
Updated -
FU Berlin (SS24): Analyzing weather-type related trends of precipitation over Europe
Updated