What are your development environments? I work with students ages 12 and under, so I try to keep things simple.
I do Circuit Python since I bought into that ecosystem with Adafruit awhile ago. Micropython is also a good environment.
I recently stumbled across the MaxiMite Basic. I had these boards a long time ago, and it was cool to see the port to the RP2040. https://geoffg.net/picomite.html There is a neat editor that made MixMite basic easy to write that also works with the RP2040 port.
I'm also a Lua fan, there is a nice port of Lua, https://github.com/MicroLua/MicroLua
Lastly, Forth was one of the early languages I learned for the 8008/8080 family. The Mecrisp-Stellaris Port is nice, it's got lots of great "words" to use with the RP2040. I like how they have displays for the GPIO pins that make it easy to look at all of them to be able to debug complex interfaces. https://mecrisp.sourceforge.net/
What are you using for RP2040 development? Thanks!