Explore projects

Standalone version of the Rodin Event-B parser and AST, published to Maven Central

The ProB Model Checker and Animator Plugin for Rodin

Code for "EmoWOZ: A Large-Scale Corpus and Labelling Scheme for Emotion Recognition in Task-Oriented Dialogue Systems".

This repository deals with the data exploration of the data contained in D-BAS.

Logstash Elasticsearch Kibana

This is a short example for requesting data with neo4j-driver in a node.js project.