Projects.
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.
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.