Discover projects, groups and snippets. Share your projects with others
Generate parsers using SableCC as part of a Gradle build
Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU
XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA
Tool for translating B to TLA+ for model checking with TLC.
Alternative model checking backend for ProB.
Reduce a metabolic network (SBML fbc coded model) as per Network Reducer method implemented in MATLAB tool CellNetAnalzyser.
Unofficial implementation of the HHU slide deck in the corporate design
portal in LaTeX.
The ProB Model Checker and Animator Plugin for Rodin