The algebraic proof-of-concept compiler for Lightfold written in Haskell.

The Katrin language specification.

My personal website.

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

App for my warehouse management system, using voice control, written in Flutter.

Warehouse Management Server written in Haskell with Yesod.

My personal sticker pack, used on the Telegram messenger.

My GHCi configuration.

Docker Compose files for my server.

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

Pixelyeet, my Pixelflut client written in Haskell.

tELegrAm bOT iNteGratiOn fOR mOCK.

Ideas for an innovative future OS.

My private build plan for the Iosevka font.

Docker Compose files for my server.

Various icons.

My logo.

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

A workshop for beginners introducing functional programming.