Explore projects

My personal ZSH config with a pretty powerline-like prompt.

Warehouse Management Server written in Haskell with Yesod.

App for my warehouse management system, using voice control, written in Flutter.

Scala 3 library for generic unification

The Lightfold language specification.

A template for creating presentation slides with Markdown and Pandoc.

A Telegram bot that can search stuff.

My personal collection of miscellaneous script for everyday usage.

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

Retrieves recipes from an instance of Tandoor Recipes and builds them into PDFs using Pandoc and LaTeX.

Solutions to random programming puzzles.

Some graphics of puzzle patterns.

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