GitLab

A Cytoscape 3.6 application that wraps the Yoshiko-Algorithm implementation as provided @:https://github.com/ls-cwi/yoshiko.git

Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.

Public codebase for "LAVA: Latent Action Spaces via Variational Auto-encoding for Dialogue Policy Optimization" published in COLING 2020.

A Python tool that reads metabolic networks and the corresponding kinetics from SBML format and produces model objects that can be used with Pyomo.

Unofficial implementation of the HHU slide deck in the corporate design portal in LaTeX.

A Java-based Jupyter kernel for ProB 2

Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.

The ProB Model Checker and Animator Plugin for Rodin

A ready-to-use environment for experimenting with Balanced Growth Optimizer