Formalization of Nominal Sets in Lean4.
A bar, launcher, control center, and notification daemon I wrote for my personal desktop.
A simple portable NES emulator written in C++.