Explore projects

My personal build script for the OpenWRT image builder.

Ideas for a future innovative UI framework.

Sewing pattern for a face mask.

Mindustry assemby scripts.

Stuff for automata (DFA, NFA, ε-NFA) written in Idris.

Alpine-based minimal image for the Inkscape vector application.

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.

The Lightfold Logo.

Solutions to random programming puzzles.

Warehouse Management Server written in Haskell with Yesod.

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

My bachelor thesis titled "Design and Algebraic Implementation of a Functional Programming Language".

An absolutely indispensable web application counting days.

Pixelyeet, my Pixelflut client written in Haskell.