Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
The algebraic proof-of-concept toolkit for Lightfold, a dependently-typed programming languge.
-
My personal website.
-
The Katrin language specification.
-
GReAt HAsKeLL tOOl to traNSFoRm TExt.
-
A Telegram bot that sends markov chains from chat content on command.
-
My personal ZSH config with a pretty powerline-like prompt.
-
Simplemonitors monitors.ini for my services, the status page available at status.eisfunke.com.
-
A Telegram bot that can run shell commands on the host.
-
Various icons.
-
tELegrAm bOT iNteGratiOn fOR mOCK.
-
Pixelyeet, my Pixelflut client written in Haskell.
-
A Docker container with Pandoc, LaTeX and Haskell libraries for running Haskell Pandoc filters.
-
-
A small Telegram bot that answers all messages containing "uwu" or a variant with a fitting sticker.
-
My personal sticker pack, used on the Telegram messenger.
-
Warehouse Management Server written in Haskell with Yesod.
-
Alpine-based minimal image for the Inkscape vector application.
-
An absolutely indispensable web application counting days.
-
My personal build script for the OpenWRT image builder.
-
App for my warehouse management system, using voice control, written in Flutter.
