Here is a Pacman-like game that uses pico_xip_soc.
It is written in C using a tile, texture and sprite system.
It uses a VGA screen and an i2c Wii Nunchuk controller.
It should play audio but when I configure that, the device reboots when I start playing it. That is a pity as the audio is very authentic.
Here is what it should sound like - https://www.youtube.com/watch?v=CkfXcEgjYTI