Explore projects

Scala 3 library for generic unification

The slides (in German) for my presentation »Metaheuristische Optimierung: Ant Colony System und Guided Local Search« for the proseminar by Prof. Müller.

A template for creating reports and theses with Markdown and Pandoc.

Chatbot for Matrix for creating GitLab issues.

Resources & more for my container images.

The logo for EisfunkeLab.

A Telegram bot that sends markov chains from chat content on command.

The algebraic proof-of-concept toolkit written in Haskell for Lightfold, a dependently-typed programming languge.