Explore projects

A Telegram bot that can run shell commands on the host.

Warehouse Management Server written in Haskell with Yesod.

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

A great website.

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

The Lightfold language specification.

Various experiments to try things out.

A Telegram bot that can search stuff.

Sewing pattern for a face mask.

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

Resources & more for my container images.

flow3r badge app that shows my name and logo

An absolutely indispensable web application counting days.

My personal website online-lenz.de.

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

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