My 9 y.o. has gotten a lot out of two platform game makers: Bloxels (https://www.bloxels.com), and the Jerry Lawson Google Doodle (https://doodles.google/doodle/gerald-jerry-lawsons-82nd-birt...). They’re both limited but a nice introduction to the creative elements of game design.