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 / 4 days ago
Robocode - Robocode is a programming game where the goal is to code a robot battle tank to compete against...
the Wiki Game - Explore & Race Through Wikipedia Articles
Human Resource Machine - Tomorrow Corporation is an independent game developer behind indie games Little Inferno and Human Resource Machine
Frozen Bubble - Frozen bubble
CodeCombat - Learn programming with a multiplayer live coding strategy game.
Bubble Shooter Mania HD - Bubble Shooter Mania HD is a Colorful simple game.