Explore projects

Ideas for a future innovative UI framework.

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

Warehouse Management Server written in Haskell with Yesod.

Alpine-based minimal image for the Inkscape vector application.

The Lightfold Logo.

Dockerfile for I, Librarian.

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

Scala 3 library for generic unification

Solutions to random programming puzzles.

Pixelyeet, my Pixelflut client written in Haskell.

My solutions for the Advent of Code 2018.

An SVG graphic of a gem.

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