A write-up of the development of this project can be found here.
The source code for this project can be found here.
A version of the final product running on the Wokwi online simulator can be found here.
A video of the Pico's composite video output in action can be seen below:
Finally, my submission for the mid-course homework, implementing functions to calculate GCD and square numbers in ARM assembly, can be found here.