One of the devs of Marvellous Inc. has just released A BRAND NEW GAME: functional!
It's a zachlike puzzle-programming game about math and abstraction, with leaderboards, Steam Workshop integration and tons of content! You start out with primitive mathematical elements, and slowly build up your solutions, using them on future puzzles.
Go check it out!