Explore projects

Haskell program for my sway status bar.

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

The Lightfold language specification.

My solutions for the Advent of Code 2018.

DEPRECATED: ghci config is now part of https://git.eisfunke.com/config/nixos

tELegrAm bOT iNteGratiOn fOR mOCK.

My personal ZSH config with a pretty powerline-like prompt. DEPRECATED: my shell config is now part of https://git.eisfunke.com/config/nixos

My personal collection of miscellaneous script for everyday usage.

Ideas for a browser because I'm becoming increasingly annoyed with all the existing ones.

GReAt HAsKeLL tOOl to traNSFoRm TExt.

Issue Tracker für den Kührer

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

Alpine-based minimal image for the Inkscape vector application.

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

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

The Lightfold Logo.

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

A Docker container with Pandoc, LaTeX and Haskell libraries for running Haskell Pandoc filters.

Simplemonitors config for my services, the status page available at status.eisfunke.com.