This is the full working Arduino code, for writing and loading. This shouldn not be used by students.
The project setup contains README, LICENSE, the full UI and materials. The PICO-8 side is wired up, but all the Arduino code is absent as I need to figure out how to carve it out for the students.