Explore projects
-
Updated
-
Timestamp search for educational video platforms developed at UHH in Spring 2025.
Updated -
Updated
-
-
Updated
-
Updated
-
SANE (Public) / drasyl
MIT Licensegeneral-purpose overlay network framework for rapid development of distributed P2P applications
Updated -
Updated
-
Updated
-
UpdatedUpdated
-
MAST / Showcase / Projects / Forum 4.0 / forum40
Apache License 2.0UpdatedUpdated -
UpdatedUpdated
-
Updated
-
6kwasny / apollo
Apache License 2.0Apollo is a reliable configuration management system suitable for microservice configuration management scenarios.
Updated -
tgipublic / ccpn / ccpn-curry-base
BSD 3-Clause "New" or "Revised" LicenseFork of https://git.ps.informatik.uni-kiel.de/curry/curry-base with small adjustments for the Curry-Coloured Petri Net (CCPN) simulator.
Updated -
tgipublic / ccpn / ccpn
GNU Lesser General Public License v2.1 onlyThe Curry-Coloured Petri Net (CCPN) simulator.
Updated -
tgipublic / ccpn / ccpn-kics2
BSD 3-Clause "New" or "Revised" LicenseFork 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 -
tgipublic / ccpn / stack-curry-libs
BSD 3-Clause "New" or "Revised" LicenseFork of https://git.ps.informatik.uni-kiel.de/curry/curry-libs ported from using Cabal to using Stack.
Updated -
Updated
