Explore projects
-
Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU
Web-Version: https://voelkel.pages.cs.uni-duesseldorf.de/ds-skript
Updated -
Updated
-
general / stups / B Language Extension
Eclipse Public License 2.0adds access to prob via vscode
Updated -
general / stups / B Language Server
Eclipse Public License 2.0A language server implementation for B, using ProB as backend, based on Java/Kotlin
Updated -
general / dsml / GenTUS-public
Apache License 2.0Updated -
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.
Updated -
general / dsml / EmoWOZ - Public
Apache License 2.0Code for "EmoWOZ: A Large-Scale Corpus and Labelling Scheme for Emotion Recognition in Task-Oriented Dialogue Systems".
Updated -
-
Updated
-
Sara Schulte / HOGVAX
MIT LicenseUpdated -
Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.
Updated -
Peter Schubert / fba2gecko
GNU General Public License v3.0 or laterUpdated -
general / dsml / TripPy - Public
Apache License 2.0Updated -
Updated
-
Updated