Discover projects, groups and snippets. Share your projects with others
ProB Modelling Examples as Jupyter Notebooks.
This is a short example for requesting data with neo4j-driver in a node.js project.
A toolkit to create, deploy and test Amazon Mturk Hit for dialogue systems.
The RNA velocity analysis done for the department of Molecular Cardiology (Professor Jürgen Schrader)
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.
Bachelor's thesis project Mario Surleont