Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Unfinished Haskell version of Conways Game of Life.
-
Stuff for automata (DFA, NFA, ε-NFA) written in Idris.
-
Solutions to random programming puzzles.
-
My solutions for the Advent of Code 2018.
-
My personal collection of miscellaneous script for everyday usage.
-
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
-
An SVG graphic of a gem.
-
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.
-
My private build plan for the Iosevka font.
-
Ideas for an innovative future OS.
-
-
My GHCi configuration.
-
App for my warehouse management system, using voice control, written in Flutter.
-
An absolutely indispensable web application counting days.
-
Alpine-based minimal image for the Inkscape vector application.
-
Warehouse Management Server written in Haskell with Yesod.
