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.

My personal build script for the OpenWRT image builder.

My personal collection of miscellaneous script for everyday usage.

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.

The slides (in German) for my presentation »Metaheuristische Optimierung: Ant Colony System und Guided Local Search« for the proseminar by Prof. Müller.

Tool for managing multiple version control repositories.

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.