Explore projects

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

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

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

The Lightfold language specification.

A great website.

Various experiments to try things out.

A Telegram bot that can search stuff.

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

Resources & more for my container images.

An absolutely indispensable web application counting days.

My personal website online-lenz.de.

Sewing pattern for a face mask.

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

flow3r badge app that shows my name and logo

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

Unfinished Haskell version of Conways Game of Life.