Discover projects, groups and snippets. Share your projects with others
The ProB Model Checker and Animator Plugin for Rodin
Code for "Dialogue Evaluation with Offline Reinforcement Learning" paper
Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.
Generate parsers using SableCC as part of a Gradle build
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.
Tool for translating B to TLA+ for model checking with TLC.
Alternative model checking backend for ProB.
Samba Password Client - change your password on fileserver
The RNA velocity analysis done for the department of Molecular Cardiology (Professor Jürgen Schrader)
Public codebase for "LAVA: Latent Action Spaces via Variational Auto-encoding for Dialogue Policy Optimization" published in COLING 2020.