Explore projects

Fork of https://git.ps.informatik.uni-kiel.de/curry/curry-base with small adjustments for the Curry-Coloured Petri Net (CCPN) simulator.

Fork of KiCS2: The Kiel Curry System v.2 (https://git.ps.informatik.uni-kiel.de/curry/kics2) with small adjustments for the Curry-Coloured Petri Net (CCPN) simulator.

Fork of https://git.ps.informatik.uni-kiel.de/curry/curry-libs ported from using Cabal to using Stack.

The Curry-Coloured Petri Net (CCPN) simulator.

One Chain to rule them all, One Chain to find them, One Chain to bring them all and in the darkness hash them.

asjgjsdfga

Django project with the server component of IDVault.

SNMP proxy service acting as an idvault depositor.

Files accessed from the TEA homepage (e.g., vie javascript or such). Folder structure should mirror the structure used in the Fiona CMS.

Tools for Genesis creation