I'm looking for games that help people learn useful concepts. The games need to actually be enjoyable; an "educational" game that no one wants to play isn't actually doing much education. A few examples of the sorts of games I'm looking for:

• Minecraft: Teaches the basics of logic circuits.

• Understand/Eleusis: Teaches inductive reasoning.

• Cookie Clicker: Teaches the power of exponential growth. (Ok, this one's a bit of a reach.)

• Kerbal Space Program: Teaches orbital mechanics.

• Manufactoria: Teaches concepts relating to finite-state automata and formal grammars. (This one likely isn't very fun for most people who aren't already interested in that sort of stuff, so it's not as good an example.)

I'll resolve this market to the top 5 suggested games that I haven't played before, in 30/25/20/15/10 proportions based on the importance of the topics they teach and how good I think they are at teaching them.

There's no set resolution date on this market; I'll leave it open until I've had a chance to try out all of the suggestions that look interesting.