HDL and other projects surrounding nand2tetris projects