Explore projects

Standalone version of the Rodin Event-B parser and AST, published to Maven Central

The Camille Editor for Rodin

adds access to prob via vscode

A language server implementation for B, using ProB as backend, based on Java/Kotlin

Handwritten Text Recognition (HTR) system implemented with TensorFlow.

Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU

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