Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
One Chain to rule them all, One Chain to find them, One Chain to bring them all and in the darkness hash them.
-
Make SkipNet Attribute-Based Again
-
general-purpose overlay network framework for rapid development of distributed P2P applications
-
-
This Project contains an Event-Based Middleware for Collecting, Processing, and Sharing Environmental Data between Citizens.
-
Job Scheduler for the HPCToolsFramework at https://git.wr.informatik.uni-hamburg.de/frederic.voigt/hpcToolsFramework.
-
The Curry-Coloured Petri Net (CCPN) simulator.
-
-
Tools for Genesis creation
-
-
-
Implementation of meeting app
-
Examples for usage of the NICOL Robot in Coppeliasim
-
W3C Web of Things implementation for Java
-
-
-
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.
