Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Updated
-
Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.
Updated -
-
Reduce a metabolic network (SBML fbc coded model) as per Network Reducer method implemented in MATLAB tool CellNetAnalzyser.
Updated -
Unofficial implementation of the HHU slide deck in the corporate design portal in LaTeX.
Updated -
Updated
-
-
Updated
-
Updated
-
Public codebase for "LAVA: Latent Action Spaces via Variational Auto-encoding for Dialogue Policy Optimization" published in COLING 2020.
Updated -
Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.
Updated -