GitLab

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

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