Fancy a bit of programming to solve some puzzles? Robo Instructus is exactly what you want then and it's releasing next month on July 16th with Linux support.
The idea of the game is quite simple, with you manoeuvring a robot by issuing instructions through the reasonably simple programming language. As you progress, you unlock the ability to use more functions, with multiple ways to solve each puzzle opening up depending on your skill and understanding.
Since the developer has allowed me to test it during the beta, I've put a fair amount of time into testing it and I shall have some thoughts up on it at release. They've made quite a lot of improvements to it based on feedback from various testers so it's looking to be in pretty good shape for release.
You can wishlist/follow it on Steam, releasing July 16th.