Explore projects

My solutions for the Advent of Code 2018.

tELegrAm bOT iNteGratiOn fOR mOCK.

Ideas for a browser because I'm becoming increasingly annoyed with all the existing ones.

GReAt HAsKeLL tOOl to traNSFoRm TExt.

Issue Tracker für den Kührer

The website for the Lightfold programming language, lightfold.dev.

Alpine-based minimal image for the Inkscape vector application.

The algebraic proof-of-concept toolkit written in Haskell for Lightfold, a dependently-typed programming languge.

My bachelor thesis titled "Design and Algebraic Implementation of a Functional Programming Language".

The Lightfold Logo.

A small Telegram bot that answers all messages containing "uwu" or a variant with a fitting sticker.

A Docker container with Pandoc, LaTeX and Haskell libraries for running Haskell Pandoc filters.

A Telegram bot that sends markov chains from chat content on command.

A Telegram bot that can search stuff.

Introduction to functional programming in Haskell

A great website.