Explore projects
-
Updated
-
Package to handle MRIO tables and perform basic Footprinting operations
Updated -
Updated
-
Updated
-
Updated
-
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 -
A script to generate a list of code developments for the REMIND meeting from git log
Updated -
Updated
-
Updated
-
Updated
-
This repository holds the high-level documentation for the new NACSOS platform architecture.
Updated -
Updated