My boys (then 10 and 8) loved MakeCode Arcade. I promised that if they wrote an original game - rather than following the great tutorials - then I'd make them a physical setup with a Pi Zero and some classic arcade buttons. They were very motivated and learned a lot.
There are a number of little handheld gadgets that you can use with MakeCode—scroll down on the homepage and there’s a section that shows them all:
https://arcade.makecode.com/