Also consider MHRD[0], which is similar to nandgame, except you write your designs out in a (primitive) HDL starting with just NAND gates and working up to a functional CPU. Like the zachtronics games, it blurs the line between "game" and "work" just the right amount.

[0](https://store.steampowered.com/app/576030/MHRD/)