Explore projects

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.

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

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.