Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Various icons.
-
-
My personal website.
-
Ideas for an innovative future OS.
-
My logo.
-
Hooks for the pacman package manager that keep the package cache clean.
-
The vague idea of a modern dependently-typed programming language.
-
tELegrAm bOT iNteGratiOn fOR mOCK.
-
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 absolutely indispensable web application counting days.
-
An SVG graphic of a gem.
-
Alpine-based minimal image for the Inkscape vector application.
-
A Telegram bot that can run shell commands on the host.
-
GReAt HAsKeLL tOOl to traNSFoRm TExt.
-
Warehouse Management Server written in Haskell with Yesod.
-
Website for the Katrin programming language.
-
My personal website.
-
Issue Tracker für den Kührer
