Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
My bachelor thesis titled "Design and Algebraic Implementation of a Functional Programming Language".
-
The website for EisfunkeLab, lab.eisfunke.com.
-
-
Cutting patterns and instructions for sewing stuff.
-
Various icons.
-
-
GReAt HAsKeLL tOOl to traNSFoRm TExt.
-
tELegrAm bOT iNteGratiOn fOR mOCK.
-
A Telegram bot that sends markov chains from chat content on command.
-
My personal build script for the OpenWRT image builder.
-
My logo.
-
The algebraic proof-of-concept toolkit for Lightfold, a dependently-typed programming languge.
-
The Lightfold Logo.
-
An R script that generates my color palettes.
-
-
-
A Telegram bot that can search stuff.
-
A Telegram bot that can run shell commands on the host.
-
Pixelyeet, my Pixelflut client written in Haskell.
-
A small Telegram bot that answers all messages containing "uwu" or a variant with a fitting sticker.
