Explore projects

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

R Interface to C API of COIN-OR Clp, depends on COIN-OR Clp Version >= 1.12.0

R Interface to C API of GLPK, needs GLPK Version >= 4.42

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

R Interface to C API of IBM ILOG CPLEX, depends on IBM ILOG CPLEX (>= 12.1)

SBML (Systems Biology Markup Language) integration in sybil

Logstash Elasticsearch Kibana

ProB Modelling Examples as Jupyter Notebooks.

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

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