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 / about 1 month ago
Robocode - Robocode is a programming game where the goal is to code a robot battle tank to compete against...
LightBot - Coding made Kid-Friendly
CodeCombat - Learn programming with a multiplayer live coding strategy game.
CodeSignal - CodeSignal is the leading assessment platform for technical hiring.
CeeBot - CeeBot is a brand new concept with which you will learn programming while having fun.
Nonograms Katana - Nonogram puzzle game with gorgeous, Japanese influenced visuals.