Explore projects

Unfinished Haskell version of Conways Game of Life.

An SVG graphic of a gem.

A great website.

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.