Explore projects

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

Solutions to random programming puzzles.

My solutions for the Advent of Code 2018.

Ideas for a future innovative UI framework.

Ideas for a browser because I'm becoming increasingly annoyed with all the existing ones.

Issue Tracker für den Kührer

Ideas for an innovative future OS.

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

Warehouse Management Server written in Haskell with Yesod.

A small Telegram bot that answers all messages containing "uwu" or a variant with a fitting sticker.

Pixelyeet, my Pixelflut client written in Haskell.

A Telegram bot that can run shell commands on the host.

A Telegram bot that can search stuff.

The Lightfold Logo.

The algebraic proof-of-concept toolkit written in Haskell for Lightfold, a dependently-typed programming languge.

Some graphics of puzzle patterns.

Mindustry assemby scripts.