A Cytoscape 3.6 application that wraps the Yoshiko-Algorithm implementation as provided @:https://github.com/ls-cwi/yoshiko.git
A Java-based Jupyter kernel for ProB 2
Generate parsers using SableCC as part of a Gradle build
Tool for translating B to TLA+ for model checking with TLC.
Alternative model checking backend for ProB.
The Camille Editor for Rodin
The ProB Model Checker and Animator Plugin for Rodin
Standalone version of the Rodin Event-B parser and AST, published to Maven Central