Explore projects

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.

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

Code for "EmoWOZ: A Large-Scale Corpus and Labelling Scheme for Emotion Recognition in Task-Oriented Dialogue Systems".

Samba Password Client - change your password on fileserver