[DylanSp]

I'm not sure if it qualifies as a programming game vs. a gamified way of teaching programming concepts, but I liked The Deadlock Empire for exploring concurrency issues: https://deadlockempire.github.io/.