Definitely Colobot. Free and open source. Runs just fine on my old laptop under Mint with Cinnamon. You can single player as the astronaut and follow the story. But you can also automate the robots to do tasks for you. The documentation for the programming is in the game. You can find more at colobot.info. - Source: Reddit / 7 days ago
Robocode - Robocode is a programming game where the goal is to code a robot battle tank to compete against...
WikiQuiz - Generate quizzes from Wikipedia articles.
Human Resource Machine - Tomorrow Corporation is an independent game developer behind indie games Little Inferno and Human Resource Machine
the Wiki Game - Explore & Race Through Wikipedia Articles
CodeCombat - Learn programming with a multiplayer live coding strategy game.
Wikispeedia - is an implementation of the game with the additional research purpose of using the gathered data in...