Explore projects

My NixOS / home-manager config.

A flexible static website generator using Pandoc, written in Haskell.

My personal website, eisfunke.com.

Issue Tracker für den Kührer

Introduction to functional programming in Haskell

My logo.

GReAt HAsKeLL tOOl to traNSFoRm TExt.

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

My private build plan for the Iosevka font.

Ideas for an innovative future OS.

Unfinished Haskell version of Conways Game of Life.

Stuff for automata (DFA, NFA, ε-NFA) written in Idris.

A small Telegram bot that answers all messages containing "uwu" or a variant with a fitting sticker.

Some graphics of puzzle patterns.

The website for the Lightfold programming language, lightfold.dev.

flow3r badge app that shows my name and logo