Explore projects
-
Updated
-
A template for creating presentation slides with Markdown and Pandoc.
Updated -
-
-
A template for creating reports and theses with Markdown and Pandoc.
Updated -
Updated
-
-
A Docker container with Pandoc, LaTeX and Haskell libraries for running Haskell Pandoc filters.
Updated -
Alpine-based minimal image for the Inkscape vector application.
Updated -
-
-
The website for the Lightfold programming language, lightfold.dev.
Updated -
-
Updated
-
Updated
-
-
-
Updated
-
The algebraic proof-of-concept toolkit written in Haskell for Lightfold, a dependently-typed programming languge.
Updated