Explore projects

Chatbot-like interface for semantic search across FAQ for the Master's programme "AI & Data Science"

https://www.heicad.hhu.de/lehre/masters-programme-ai-and-data-science/hainrich

A Java-based Jupyter kernel for ProB 2

Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.

The ProB Model Checker and Animator Plugin for Rodin

XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA

adds access to prob via vscode

Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU

Web-Version: https://voelkel.pages.cs.uni-duesseldorf.de/ds-skript

Generate parsers using SableCC as part of a Gradle build