Discover projects, groups and snippets. Share your projects with others
Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.
XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA
LaTeX-Vorlage für Bachelor und Masterarbeiten.
A Java-based Jupyter kernel for ProB 2
The ProB Model Checker and Animator Plugin for Rodin
Tool for translating B to TLA+ for model checking with TLC.
Alternative model checking backend for ProB.
ProB Modelling Examples as Jupyter Notebooks.
Samba Password Client - change your password on fileserver
Reduce a metabolic network (SBML fbc coded model) as per Network Reducer method implemented in MATLAB tool CellNetAnalzyser.