Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
My solutions for the Advent of Code 2018.
-
-
A small Telegram bot that answers all messages containing "uwu" or a variant with a fitting sticker.
-
Stuff for automata (DFA, NFA, ε-NFA) written in Idris.
-
My bachelor thesis titled "Design and Algebraic Implementation of a Functional Programming Language".
-
-
A Telegram bot that can run shell commands on the host.
-
Ideas for an innovative future OS.
-
An absolutely indispensable web application counting days.
-
My personal website, eisfunke.com.
-
Ideas for a future innovative UI framework.
-
-
Unfinished Haskell version of Conways Game of Life.
-
An SVG graphic of a gem.
-
My GHCi configuration.
-
Various icons.
-
Alpine-based minimal image for the Inkscape vector application.
-
My private build plan for the Iosevka font.
-
Issue Tracker für den Kührer
-
The algebraic proof-of-concept toolkit for Lightfold, a dependently-typed programming languge.
