A language server implementation for B, using ProB as backend, based on Java/Kotlin
Standalone version of the Rodin Event-B parser and AST, published to Maven Central
This repository deals with the data exploration of the data contained in D-BAS.
Public codebase for "LAVA: Latent Action Spaces via Variational Auto-encoding for Dialogue Policy Optimization" published in COLING 2020.
Samba Password Client - change your password on fileserver
The ProB Model Checker and Animator Plugin for Rodin