Explore GitLab
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.
-
-
-
