Explore projects

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

Chatbot-like interface for semantic search across FAQ for the Master's programme "AI & Data Science"

https://www.heicad.hhu.de/lehre/masters-programme-ai-and-data-science/hainrich

XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA

adds access to prob via vscode

Generate parsers using SableCC as part of a Gradle build

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

Public codebase for "Local Topology Measures of Contextual Language Model Latent Spaces With Applications to Dialogue Term Extraction" published in SIGDIAL 2024.

Modified version of the TLA+ tools for usage in ProB

ProB Modelling Examples as Jupyter Notebooks.

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

Kodkod Wrapper for ProB