https://deadlockempire.github.io is a very cute edutainment game, meant to teach people about deadlocks and race conditions and concurrency primitives. I like how you win by finding problems rather than eliminating them. In real life, one needs both skills, but this side of the coin feels more natural for gamification.