Explore projects

A great website.

Various experiments I wrote in Haskell to try things out.

Dockerfile for I, Librarian.

Alpine-based minimal image for the Inkscape vector application.

My private build plan for the Iosevka font.

Chatbot for Matrix for creating GitLab issues.

Issue Tracker für den Kührer

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

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

The Lightfold Logo.

The logo for EisfunkeLab.

My logo.

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

Sewing pattern for a face mask.

Resources & more for my container images.

Mindustry assemby scripts.

GReAt HAsKeLL tOOl to traNSFoRm TExt.

tELegrAm bOT iNteGratiOn fOR mOCK.