Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
A flexible static website generator using Pandoc, written in Haskell.
Updated -
-
-
-
tELegrAm bOT iNteGratiOn fOR mOCK.
Updated -
-
My personal collection of miscellaneous script for everyday usage.
Updated -
Ideas for a browser because I'm becoming increasingly annoyed with all the existing ones.
Updated -
GReAt HAsKeLL tOOl to traNSFoRm TExt.
Updated -
-
The website for the Lightfold programming language, lightfold.dev.
Updated -
Alpine-based minimal image for the Inkscape vector application.
Updated -
The algebraic proof-of-concept toolkit written in Haskell for Lightfold, a dependently-typed programming languge.
Updated -
Updated
-
My bachelor thesis titled "Design and Algebraic Implementation of a Functional Programming Language".
Updated -
-
A small Telegram bot that answers all messages containing "uwu" or a variant with a fitting sticker.
Updated -
A Docker container with Pandoc, LaTeX and Haskell libraries for running Haskell Pandoc filters.
Updated -
Simplemonitors config for my services, the status page available at status.eisfunke.com.
Updated -
A Telegram bot that sends markov chains from chat content on command.
Updated