The ProB Model Checker and Animator Plugin for Rodin
LaTeX-Vorlage für Bachelor und Masterarbeiten.
A Java-based Jupyter kernel for ProB 2
Handwritten Text Recognition (HTR) system implemented with TensorFlow.
Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.
adds access to prob via vscode
The Camille Editor for Rodin
A language server implementation for B, using ProB as backend, based on Java/Kotlin
Unofficial implementation of the HHU slide deck in the corporate design
portal in LaTeX.
Standalone version of the Rodin Event-B parser and AST, published to Maven Central