Explore projects
-
Updated
-
-
-
Alpine-based minimal image for the Inkscape vector application.
Updated -
A Docker container with Pandoc, LaTeX and Haskell libraries for running Haskell Pandoc filters.
Updated -
Updated
-
A template for creating reports and theses with Markdown and Pandoc.
Updated -
Retrieves recipes from an instance of Tandoor Recipes and builds them into PDFs using Pandoc and LaTeX.
Updated -
-
-
The algebraic proof-of-concept toolkit written in Haskell for Lightfold, a dependently-typed programming languge.
Updated -
-
A template for creating presentation slides with Markdown and Pandoc.
Updated -
Updated
-
-
Updated
-
Updated
-
Updated
-
My bachelor thesis titled "Design and Algebraic Implementation of a Functional Programming Language".
Updated -
The slides (in German) for my presentation »Metaheuristische Optimierung: Ant Colony System und Guided Local Search« for the proseminar by Prof. Müller.
Updated