Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
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.