Dunno if anyone on here has used this site beepbox.co but I can recommend it for introducing kids to chiptune songwriting. I’m currently using it with my after school class of 8-10 yr olds and after 1 session they are creating some really good tunes!
Worth a play I reckon.