Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Various icons.
-
-
Simplemonitors monitors.ini for my services, the status page available at status.eisfunke.com.
-
My personal website, eisfunke.com.
-
A Telegram bot that sends markov chains from chat content on command.
-
My logo.
-
The Katrin language specification.
-
The algebraic proof-of-concept toolkit for Lightfold, a dependently-typed programming languge.
-
The Lightfold Logo.
-
An R script that generates my color palettes.
-
-
My bachelor thesis titled "Design and Algebraic Implementation of a Functional Programming Language".
-
A Docker container with Pandoc, LaTeX and Haskell libraries for running Haskell Pandoc filters.
-
-
-
A Telegram bot that can search stuff.
-
GReAt HAsKeLL tOOl to traNSFoRm TExt.
-
My personal ZSH config with a pretty powerline-like prompt.
-
A Telegram bot that can run shell commands on the host.
-
tELegrAm bOT iNteGratiOn fOR mOCK.
