Standalone version of the Rodin Event-B parser and AST, published to Maven Central
Code for "EmoWOZ: A Large-Scale Corpus and Labelling Scheme for Emotion Recognition in Task-Oriented Dialogue Systems".
The ProB Model Checker and Animator Plugin for Rodin
This is a short example for requesting data with neo4j-driver in a node.js project.
This repository deals with the data exploration of the data contained in D-BAS.