Explore projects

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

Sewing pattern for a face mask.

Alpine-based minimal image for the Inkscape vector application.

Ideas for a future innovative UI framework.

Mindustry assemby scripts.

The Lightfold Logo.

Solutions to random programming puzzles.

Warehouse Management Server written in Haskell with Yesod.

Scala 3 library for generic unification

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.

My solutions for the Advent of Code 2018.