Explore projects

Timestamp search for educational video platforms developed at UHH in Spring 2025.

general-purpose overlay network framework for rapid development of distributed P2P applications

Apollo is a reliable configuration management system suitable for microservice configuration management scenarios.

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

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.