7 results found Sort:

NAND is a logic simulator suite made entirely from NAND gates
Created 2023-06-27
1,112 commits to main branch, last one a day ago
18
314
gpl-3.0
16
Reviewing some online CS courses I took
Created 2020-06-10
937 commits to master branch, last one about a month ago
A web-based IDE for https://nand2tetris.org
Created 2021-01-09
553 commits to main branch, last one 4 months ago
Nand2Tetris Software Suite - hardware simulator and CPU and VM emulators
Created 2014-10-29
60 commits to master branch, last one about a year ago
24
72
unknown
4
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 3 years ago
Emulator for the Hack CPU.
Created 2020-12-31
25 commits to main branch, last one 4 months ago