Explore projects

Bachelor's thesis project Mario Surleont

Public codebase for "Dialogue Term Extraction using Transfer Learning and Topological Data Analysis" published at SIGDIAL 2022.

Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.

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

adds access to prob via vscode

A language server implementation for B, using ProB as backend, based on Java/Kotlin

Logstash Elasticsearch Kibana

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