Explore projects

Public codebase for "Dialogue Term Extraction using Transfer Learning and Topological Data Analysis" published at SIGDIAL 2022.

Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU

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

adds access to prob via vscode

Kodkod Wrapper for ProB

The Camille Editor for Rodin

TBA

A Java-based Jupyter kernel for ProB 2

LaTeX-Vorlage für Bachelor und Masterarbeiten.

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

Handwritten Text Recognition (HTR) system implemented with TensorFlow.

Unofficial implementation of the HHU slide deck in the corporate design portal in LaTeX.