Explore projects
-
general / dsml / emoUS-public
Apache License 2.0Updated -
-
Updated
-
Peter Schubert / XBanalysis
GNU General Public License v3.0 or laterXBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA
Updated -
Standalone version of the Rodin Event-B parser and AST, published to Maven Central
UpdatedUpdated -
Updated
-
Updated
-
Unofficial implementation of the HHU slide deck in the corporate design portal in LaTeX.
Updated -
Peter Schubert / sbmlxdf
GNU General Public License v3.0 or laterDescription: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.
Updated -
Updated
-
Updated
-
Updated
-
Fabian Mersch / SimpleHTR
MIT LicenseHandwritten Text Recognition (HTR) system implemented with TensorFlow.
Updated -
general / dsml / RECORD - public
Apache License 2.0Updated -
general / stups / SableCC STUPS
GNU Lesser General Public License v2.1 onlyUpdated -
Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.
Updated -
-