This is your work, valued

Barnabás Zahorán

Advanced
@Seeker04

plwm. An X11 window manager written in Prolog

295

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

11

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

1

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

1