Explore projects

The Lightfold language specification.

Scala 3 library for generic unification

Overview over creating documents, presentations and more using Pandoc

A template for creating articles, assignment submissions and general documents with Markdown and Pandoc.

The slides (in German) for my presentation »Metaheuristische Optimierung: Ant Colony System und Guided Local Search« for the proseminar by Prof. Müller.

My bachelor thesis titled "Design and Algebraic Implementation of a Functional Programming Language".

The logo for EisfunkeLab.

Introduction to functional programming in Haskell

A template for creating presentation slides with Markdown and Pandoc.

Various experiments I wrote in Haskell to try things out.

The algebraic proof-of-concept toolkit written in Haskell for Lightfold, a dependently-typed programming languge.

Resources & more for my container images.