OMG
"I made a TIC-80 port of Squashy for you"
NES box is the most active, supportive, developer I have ever encountered! I am also very happy to here your students are using tic-80 as an alternative to pico-8. Tic is more open, has widescreen, and fast growing community. Although the community is smaller than pico-8, I think Nesbox's dedication to this project makes it a better choice for teaching.