A flexible static website generator using Pandoc, written in Haskell.

My personal website.

tELegrAm bOT iNteGratiOn fOR mOCK.

My personal ZSH config with a pretty powerline-like prompt.

Ideas for an innovative future OS.

My private build plan for the Iosevka font.

Kubernetes pod definitions, written for use with Podman.

The algebraic Katrin compiler.

Various icons.

My logo.

Hooks for the pacman package manager that keep the package cache clean.

The Katrin language specification.

A workshop for beginners introducing functional programming.

Tool for managing multiple version control repositories.

The slides (in German) for my presentation »Metaheuristische Optimierung: Ant Colony System und Guided Local Search« for the proseminar by Prof. Müller.

An absolutely indispensable web application counting days.

An SVG graphic of a gem.

Alpine-based minimal image for the Inkscape vector application.

A Telegram bot that can run shell commands on the host.