Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
My GHCi configuration.
-
-
Ideas for an innovative future OS.
-
My private build plan for the Iosevka font.
-
My logo.
-
Hooks for the pacman package manager that keep the package cache clean.
-
A workshop for beginners introducing functional programming.
-
Tool for managing multiple version control repositories.
-
The slides (in German) for my presentation »Metaheuristische Optimierung: Ant Colony System und Guided Local Search« for the proseminar by Prof. Müller.
-
An SVG graphic of a gem.
-
My personal website.
-
Issue Tracker für den Kührer
-
Ideas for a browser because I'm becoming increasingly annoyed with all the existing ones.
-
Ideas for a future innovative UI framework.
-
My personal collection of miscellaneous script for everyday usage.
-
My solutions for the Advent of Code 2018.
-
A R script that generates my color palettes.
-
Solutions to random programming puzzles.
-
Stuff for automata (DFA, NFA, ε-NFA) written in Idris.
-
Unfinished Haskell version of Conways Game of Life.
