Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
pseuco / concurrent-programming-web
pseuCo.com
-
pseuco / colored-petri-nets
JavaScript implementation of CPN and CPN++
-
1updated
-
modest / toolset
The Modest Toolset
-
1updated
-
Michaela Klauck / Modest Fret-pi LRTDP
Release of the current Modest Fret-π LRTDP version.
0updated -
0updated
-
pseuco / pseuco-ide
A small (but powerful) IDE for pseuCo.
-
pseuco / pseuco-java-compiler
pseuCo-Java-Compiler
-
Daniel Stan / muds-project
Verification 2018-2019, template project
0updated -
1updated
-
Michaela Klauck / Jani-PPDDL-Translation-Release
A python script to translate Jani MDP models to PPDDL.
0updated -
pseuco / pseuco-jani-server
A server-side implementation of the jani-interaction protocol written in Go.
-
1updated
-
-
0updated
-
pseuco / pseuco-ide-legacy
A small (but powerful) IDE for Pseuco. Archived version 1, new version at https://liebe.cs.uni-saarland.de/gitlab/pseuco/pseuco-ide.
0updated -
0updated
