Explore projects

Logstash Elasticsearch Kibana

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

Generate parsers using SableCC as part of a Gradle build

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

Modified version of the TLA+ tools for usage in ProB