7 results found Sort:
- Filter by Primary Language:
- TypeScript (2)
- Coq (1)
- Java (1)
- JavaScript (1)
- Rust (1)
- Scala (1)
- +
NAND is a logic simulator suite made entirely from NAND gates
Created
2023-06-27
1,111 commits to main branch, last one 3 months ago
Reviewing some online CS courses I took
Created
2020-06-10
936 commits to master branch, last one 2 months ago
Nand2Tetris Software Suite - hardware simulator and CPU and VM emulators
Created
2014-10-29
60 commits to master branch, last one 9 months ago
A web-based IDE for https://nand2tetris.org
Created
2021-01-09
550 commits to main branch, last one 2 days 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
25 commits to main branch, last one 18 days ago