Projects
Real repositories. Each card links to a full write-up here, plus the actual code.
embedded-workbench
Embedded systems portfolio, built on a self-verifying agent harness
An explicit verification ladder (L0 build through L5 human-confirmed hardware behaviour), a hardware-in-the-loop bench daemon with an allow-listed verb set, and a provenance-tracked hardware fact base that blocks unverified pin assignments from reaching code.
uavformationsimuli
PhD research — multi-UAV formation under intermittent communication
The thesis question is multi-UAV formation over a degraded communication channel; what's built and working today is a closed-loop trajectory-tracking controller for a single UAV, in simulation — stated at that scope on purpose.
BK-System
C++ banking system, built spec-first
A desktop banking system with a full SRS and UML design written before implementation. Also covered in a blog post.
ST7789VW-Generic-Driver
Generic C driver for the ST7789VW display controller
Hardware-agnostic core over a swappable SPI/serial port layer, packaged as a proper CMake target with CI covering both port configurations.