GitLab

The ProB Model Checker and Animator Plugin for Rodin

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

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

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

SBML (Systems Biology Markup Language) integration in sybil

A Java-based Jupyter kernel for ProB 2

sybil - Efficient Constrained Based Modelling in R

This repository contains the presentation for the module " Ethics of Science I" on the topic "Commercial Conflicts of Interest in Business-Related Research".

A toolkit to create, deploy and test Amazon Mturk Hit for dialogue systems.

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

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