Explore projects
-
Updated
-
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.
Updated -
Public codebase for "Local Topology Measures of Contextual Language Model Latent Spaces With Applications to Dialogue Term Extraction" published in SIGDIAL 2024.
Updated -
-
Updated
-
Updated
-
Updated
-
Standalone version of the Rodin Event-B parser and AST, published to Maven Central
UpdatedUpdated -
Updated
-
R Interface to C API of COIN-OR Clp, depends on COIN-OR Clp Version >= 1.12.0
Archived 0Updated -
SBML (Systems Biology Markup Language) integration in sybil
Archived 0Updated -
-
R Interface to C API of IBM ILOG CPLEX, depends on IBM ILOG CPLEX (>= 12.1)
Archived 0Updated -
Updated
-
-
This repository deals with the data exploration of the data contained in D-BAS.
Updated -
Updated