Explore projects
-
Updated
-
Updated
-
Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.
Updated -
Updated
-
Standalone version of the Rodin Event-B parser and AST, published to Maven Central
UpdatedUpdated -
Updated
-
Updated
-
Updated
-
-
general / dsml / LAVA - Public
Apache License 2.0Public codebase for "LAVA: Latent Action Spaces via Variational Auto-encoding for Dialogue Policy Optimization" published in COLING 2020.
Updated -
general / dsml / RECORD - public
Apache License 2.0Updated -
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 / dsml / emoUS-public
Apache License 2.0Updated -
Peter Schubert / XBanalysis
GNU General Public License v3.0 or laterXBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA
Updated