Explore projects

My personal website, eisfunke.com.

Scala 3 library for generic unification

Overview over creating documents, presentations and more using Pandoc

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.

Dockerfile for I, Librarian.

A Telegram bot that sends markov chains from chat content on command.

tELegrAm bOT iNteGratiOn fOR mOCK.

GReAt HAsKeLL tOOl to traNSFoRm TExt.

An absolutely indispensable web application counting days.

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

Retrieves recipes from an instance of Tandoor Recipes and builds them into PDFs using Pandoc and LaTeX.