hhu-stups/camille
(READ ONLY MIRROR) The Camille Editor for Rodin
Developer Profile
hhu-stups
Discovered public repositories for hhu-stups in the GitHub catalog.
hhu-stups/tla2bAST
(READ ONLY MIRROR) Translator from TLA+ to ProB's AST representation
hhu-stups/normsetting_tp_modellierung
Teilprojekt Modellierung von normsetting.org
hhu-stups/tla2b
OLD REPOSITORY - current development happens in the tla2bAST repository
hhu-stups/prob-promela
Promela Compiler / Interpreter for ProB
hhu-stups/tlc4b
(READ ONLY MIRROR) Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, an IDE for writing specifications and running tools to check them.
hhu-stups/prob-rodinplugin
(READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin