Discover projects, groups and snippets. Share your projects with others
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.
A toolkit to create, deploy and test Amazon Mturk Hit for dialogue systems.
This repository contains the presentation for the module " Ethics of Science I" on the topic "Commercial Conflicts of Interest in Business-Related Research".
sybil - Efficient Constrained Based Modelling in R
SBML (Systems Biology Markup Language) integration in sybil
A ready-to-use environment for experimenting with Balanced Growth Optimizer
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 Java-based Jupyter kernel for ProB 2