Ideas for a future innovative UI framework.
Stuff for automata (DFA, NFA, ε-NFA) written in Idris.
Solutions to random programming puzzles.
My personal ZSH config with a pretty powerline-like prompt.
My GHCi configuration.
App for my warehouse management system, using voice control, written in Flutter.
Warehouse Management Server written in Haskell with Yesod.
Issue Tracker für den Kührer
Ideas for a browser because I'm becoming increasingly annoyed with all the existing ones.
Hooks for the pacman package manager that keep the package cache clean.
Ideas for an innovative future OS.
Pixelyeet, my Pixelflut client written in Haskell.
A Telegram bot that can run shell commands on the host.
A small Telegram bot that answers all messages containing "uwu" or a variant with a fitting sticker.
A Telegram bot that can search stuff.
The Lightfold Logo.
A great website.
Some graphics of puzzle patterns.
Mindustry assemby scripts.