Explore projects
-
Updated
-
Timestamp search for educational video platforms developed at UHH in Spring 2025.
Updated -
Updated
-
-
Updated
-
Updated
-
general-purpose overlay network framework for rapid development of distributed P2P applications
Updated -
Updated
-
Updated
-
UpdatedUpdated
-
Updated
-
UpdatedUpdated
-
Updated
-
Apollo is a reliable configuration management system suitable for microservice configuration management scenarios.
Updated -
Fork of https://git.ps.informatik.uni-kiel.de/curry/curry-base with small adjustments for the Curry-Coloured Petri Net (CCPN) simulator.
Updated -
-
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.
Updated -
Fork of https://git.ps.informatik.uni-kiel.de/curry/curry-libs ported from using Cabal to using Stack.
Updated -
Updated