Barnabás Zahorán

plwm. An X11 window manager written in Prolog

srek. A small sed-like CLI tool based on structural regular expression written in C.

stlc-agda-elab. Agda formalisation of an elaborator for a simply typed language

elte-ik-cpp. A collection of lecture materials I have written (in Hungarian!) for C++ classes at ELTE-IK.