This immediately made me think of nand2tetris.org, but as a game. Is that what NANDGame is?

Yes, pretty much, but stopping at the cpu level (about the first half of the course).