nand2tetris topic
reviews
Reviewing some online CS courses I took
Hack-Assembler
An assembler for the Hack language implemented in C++.
nand2coq
Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
nand2tetris
The Elements of Computing Systems
n2t-wasm
Emulator for the Hack CPU.
course-compiler-construction
Our first attempt at auditing select Computer Science courses.
Nand2Tetris
Nand2Tetris: Build a computer system from the ground up, from nand to tetris. Hardware and software.
logic-simulator-2
A refactored version of Logic Simulator
n2t
Programs done for the nand2tetris
web-ide
A web-based IDE for https://nand2tetris.org