The Camille Editor for Rodin
A Java-based Jupyter kernel for ProB 2
adds access to prob via vscode
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.
The ProB Model Checker and Animator Plugin for Rodin
Handwritten Text Recognition (HTR) system implemented with TensorFlow.
LaTeX-Vorlage für Bachelor und Masterarbeiten.
Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.
Standalone version of the Rodin Event-B parser and AST, published to Maven Central
XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA