Explore projects
-
Updated
-
-
-
A language server implementation for B, using ProB as backend, based on Java/Kotlin
Updated -
-
Unofficial implementation of the HHU slide deck in the corporate design portal in LaTeX.
Updated -
-
Updated
-
Handwritten Text Recognition (HTR) system implemented with TensorFlow.
Updated -
Updated
-
-
Updated
-
Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.
Updated -
Updated
-
Standalone version of the Rodin Event-B parser and AST, published to Maven Central
UpdatedUpdated -
XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA
Updated -
Updated
-