Alpine-based minimal image for the Inkscape vector application.

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

My logo.

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

The Lightfold language specification.

The website for EisfunkeLab, lab.eisfunke.com.

An SVG graphic of a gem.

Sewing pattern for a face mask.

Preparations for my master thesis

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

My solutions for the Advent of Code 2018.

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

Unfinished Haskell version of Conways Game of Life.