I haven't played it yet, but I've played several of Zachtronics games in the past.

They generally don't teach you technologies that exist in the real world. Real-world concepts are usually just used as a way to make the mechanics of the game more accessible (Spacechem and KOHCTPYKTOP are good examples of this)

However, their games are very programming-centric, having programming skills makes them much more accessible. Their game TIS-100 is literally just assembly programming on a made-up architecture. I wouldn't call them "educational games", but they're certainly very mentally involved.

---

Spacechem: http://www.zachtronics.com/spacechem/

KOHCTPYKTOP: http://www.zachtronics.com/kohctpyktop-engineer-of-the-peopl...

TIS-100: http://www.zachtronics.com/tis-100/