Nand2Tetris Software Suite
Source code
To download the source code, go to the Nand2Tetris software page and click on the link for that in the last paragraph on the page
...
Binary code
To download the binary code, go to the Nand2Tetris software page and click on the link “Download the Nand2tetris Software Suite”
...
Hardware Simulator Tutorial
To download the tutorial PDF, go to the Nand2Tetris software page and click on the PDF icon in the Description column in the first entry of the Software Tools section
...
HDL Survival Guide
The HDL Survival Guide by Mark Armbrust is available here