Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The Lightfold language specification.
-
My solutions for the Advent of Code 2018.
-
My GHCi configuration.
-
tELegrAm bOT iNteGratiOn fOR mOCK.
-
My personal ZSH config with a pretty powerline-like prompt.
-
My personal collection of miscellaneous script for everyday usage.
-
Ideas for a browser because I'm becoming increasingly annoyed with all the existing ones.
-
GReAt HAsKeLL tOOl to traNSFoRm TExt.
-
Issue Tracker für den Kührer
-
Alpine-based minimal image for the Inkscape vector application.
-
Various icons.
-
The algebraic proof-of-concept toolkit for Lightfold, a dependently-typed programming languge.
-
-
My bachelor thesis titled "Design and Algebraic Implementation of a Functional Programming Language".
-
The Lightfold Logo.
-
A small Telegram bot that answers all messages containing "uwu" or a variant with a fitting sticker.
-
A Docker container with Pandoc, LaTeX and Haskell libraries for running Haskell Pandoc filters.
-
Simplemonitors config for my services, the status page available at status.eisfunke.com.
-
A Telegram bot that sends markov chains from chat content on command.