Explore projects

A simple portable NES emulator written in C++.

Formalization of Nominal Sets in Lean4.

A bar, launcher, control center, and notification daemon I wrote for my personal desktop.