Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
GReAt HAsKeLL tOOl to traNSFoRm TExt.
-
Issue Tracker für den Kührer
-
My personal website, eisfunke.com.
-
Tool for managing multiple version control repositories.
-
-
My logo.
-
Ideas for a browser because I'm becoming increasingly annoyed with all the existing ones.
-
-
The website for EisfunkeLab, lab.eisfunke.com.
-
The algebraic proof-of-concept toolkit for Lightfold, a dependently-typed programming languge.
-
-
-
Some graphics of puzzle patterns.
-
Mindustry assemby scripts.
-
The logo for EisfunkeLab.
-
A Telegram bot that sends markov chains from chat content on command.
-
My bachelor thesis titled "Design and Algebraic Implementation of a Functional Programming Language".
-
Alpine-based minimal image for the Inkscape vector application.
-
Experiments with puzzles.
-
