Discover projects, groups and snippets. Share your projects with others
A Docker container with Pandoc, LaTeX and Haskell libraries for running Haskell Pandoc filters.
The Lightfold language specification.
An absolutely indispensable web application counting days.
The website for EisfunkeLab, lab.eisfunke.com.
An SVG graphic of a gem.
Sewing pattern for a face mask.
Dockerfile for I, Librarian.
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.