https://imgs.jzbor.de/1920x/blog/projects/lash/screenshot0.png

The Lambda Shell

A simple REPL shell for untyped lambda expressions. It provides provides named terms, reduction strategies and capture-avoiding substitution and extends lambda calculus by macros and directives.
https://imgs.jzbor.de/1920x/blog/projects/marswm/screenshot0.png

marswm

A simple window manager using workspaces as i3 does and dynamic layouts like dwm. It features a bar application as well as an IPC client and works great as tiling or floating window manager.