Discover projects, groups and snippets. Share your projects with others
A Java-based Jupyter kernel for ProB 2
The ProB Model Checker and Animator Plugin for Rodin
XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA
Code for "Dialogue Evaluation with Offline Reinforcement Learning" paper
Prune a metabolic model (remove redundant reactions). Based on Network Reducer (Erdrich et al. 2015).
Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.
Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU
Unofficial implementation of the HHU slide deck in the corporate design
portal in LaTeX.
Generate parsers using SableCC as part of a Gradle build