Explore projects

The ProB Model Checker and Animator Plugin for Rodin

Handwritten Text Recognition (HTR) system implemented with TensorFlow.

LaTeX-Vorlage für Bachelor und Masterarbeiten.

TBA

The Camille Editor for Rodin

Generate parsers using SableCC as part of a Gradle build

A Java-based Jupyter kernel for ProB 2

Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU

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