Explore projects

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