Explore projects

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.

Improvements and tests on the inversion-based style transfer method by Zhang et al.

Make SkipNet Attribute-Based Again

Repository des MVP für das Uni Projekt Modul "Idee - Geschäftsmodell - MVP: Software as a Service". Gruppe Pink Flamingo und Mount-Blanc.