Explore projects

Logstash Elasticsearch Kibana

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

ProB Modelling Examples as Jupyter Notebooks.

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

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

Public codebase for "Local Topology Measures of Contextual Language Model Latent Spaces With Applications to Dialogue Term Extraction" published in SIGDIAL 2024.