Explore projects

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

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

ProB Modelling Examples as Jupyter Notebooks.

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

Logstash Elasticsearch Kibana

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