Zachtronics is a beautiful developer. Such a niche genre, so perfectly executed. I'm a bit behind but just started Shenzen I/O. It's a programming puzzle game done right. This is perfect for schools, it's genuine programming-thinking packed into a game-like challenge.
It's interesting that SpaceChem apparently isn't included? Maybe because the kinda fake chemistry would drive science teachers mad?