Explore projects
-
Updated
-
Updated
-
-
-
-
-
Standalone version of the Rodin Event-B parser and AST, published to Maven Central
UpdatedUpdated -
general / stups / SableCC Gradle plugin
Eclipse Public License 2.0Generate parsers using SableCC as part of a Gradle build
Updated -
general / stups / SableCC STUPS
GNU Lesser General Public License v2.1 onlyUpdated -
Updated
-
-
Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.
Updated -
Updated
-
Philipp Spohr / YoshikoWrapper
MIT LicenseA Cytoscape 3.6 application that wraps the Yoshiko-Algorithm implementation as provided @:https://github.com/ls-cwi/yoshiko.git
Updated