Explore projects

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