Explore projects
-
Updated
-
-
-
-
Updated
-
A template for creating articles, assignment submissions and general documents with Markdown and Pandoc.
Updated -
Research / Proseminar Metaheuristische Optimierung
Creative Commons Attribution 4.0 InternationalThe slides (in German) for my presentation »Metaheuristische Optimierung: Ant Colony System und Guided Local Search« for the proseminar by Prof. Müller.
Updated -
Research / Bachelor Thesis
Creative Commons Attribution Share Alike 4.0 InternationalMy bachelor thesis titled "Design and Algebraic Implementation of a Functional Programming Language".
Updated -
Updated
-
Updated
-
Software / Surver
Apache License 2.0Updated -
-
Lab / Functional Programming
Creative Commons Attribution Share Alike 4.0 InternationalIntroduction to functional programming in Haskell
Updated -
Research / Advent of Code 2021
Apache License 2.0Updated -
Software / Container / LocSearch
MIT LicenseUpdated -
A template for creating presentation slides with Markdown and Pandoc.
Updated -
-
Software / Lightfold / Lightfold
GNU General Public License v3.0 onlyThe algebraic proof-of-concept toolkit written in Haskell for Lightfold, a dependently-typed programming languge.
Updated -