Discover projects, groups and snippets. Share your projects with others
A Java-based Jupyter kernel for ProB 2
Unofficial implementation of the HHU slide deck in the corporate design
portal in LaTeX.
ProB Modelling Examples as Jupyter Notebooks.
Reduce a metabolic network (SBML fbc coded model) as per Network Reducer method implemented in MATLAB tool CellNetAnalzyser.
Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.
R Interface to C API of IBM ILOG CPLEX, depends on IBM ILOG CPLEX (>= 12.1)
R Interface to C API of GLPK, needs GLPK Version >= 4.42
R Interface to C API of COIN-OR Clp, depends on COIN-OR Clp Version >= 1.12.0
A Cytoscape 3.6 application that wraps the Yoshiko-Algorithm implementation as provided @:https://github.com/ls-cwi/yoshiko.git