Explore projects

LaTeX-Vorlage für Bachelor und Masterarbeiten.

Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU

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

Samba Password Client - change your password on fileserver

Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.

The ProB Model Checker and Animator Plugin for Rodin

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.