Explore projects
-
general / dsml / TripPy - Public
Apache License 2.0Updated -
general / dsml / TripPy-R - Public
Apache License 2.0Updated -
Updated
-
Peter Schubert / f2xba
GNU General Public License v3.0 or laterUpdated -
-
Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.
Updated -
-
Updated
-
Updated
-
Public codebase for "Dialogue Term Extraction using Transfer Learning and Topological Data Analysis" published at SIGDIAL 2022.
Updated -
Public codebase for "Local Topology Measures of Contextual Language Model Latent Spaces With Applications to Dialogue Term Extraction" published in SIGDIAL 2024.
Updated -
Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU
Web-Version: https://voelkel.pages.cs.uni-duesseldorf.de/ds-skript
Updated -
-
general / stups / B Language Extension
Eclipse Public License 2.0adds access to prob via vscode
Updated -
-
Updated
-
general / stups / SableCC STUPS
GNU Lesser General Public License v2.1 onlyUpdated -