6 results found Sort:
- Filter by Primary Language:
- Coq (1)
- Java (1)
- JavaScript (1)
- Rust (1)
- Scala (1)
- TypeScript (1)
- +
NAND is a logic simulator suite made entirely from NAND gates
Created
2023-06-27
1,048 commits to main branch, last one a day ago
Reviewing some online CS courses I took
Created
2020-06-10
922 commits to master branch, last one 19 days ago
Nand2Tetris Software Suite - hardware simulator and CPU and VM emulators
Created
2014-10-29
60 commits to master branch, last one 2 months ago
Nand2Tetris course solutions
Created
2017-04-16
22 commits to master branch, last one 7 years ago
Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
Created
2018-12-13
43 commits to master branch, last one 2 years ago
Emulator for the Hack CPU.
Created
2020-12-31
24 commits to main branch, last one 7 months ago