This looks very cool. In a similar vein, there's https://www.nand2tetris.org/.