Alternatives and similar repositories for nand2tetris

Users that are interested in nand2tetris are comparing it to the libraries listed below

• YosysHQ / abc
  ABC: System for Sequential Logic Synthesis and Formal Verification
  ☆30Updated 2 weeks ago
• eliben / c-unleashed-book-souce-code
  Source code for the "C Unleashed" book by Richard Heathfield, Lawrence Kirby, et al.
  ☆75Updated 4 years ago
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆23Updated 6 years ago
• aappleby / metron
  A C++ to Verilog translation tool with some basic guarantees that your code will work.
  ☆175Updated 9 months ago
• sifiveinc / wake
  The SiFive wake build tool
  ☆91Updated last week
• stephank / rvsim
  A RISC-V simulator implementing RV32G[C].
  ☆35Updated 2 years ago
• TheProjecter / eqntott
  Automatically exported from code.google.com/p/eqntott
  ☆14Updated 10 years ago
• slightknack / keikan
  An elegant (imo) rendering engine written in Rust.
  ☆60Updated 3 years ago
• theandrew168 / bronzebeard
  Minimal assembler and ecosystem for bare-metal RISC-V development
  ☆56Updated last year
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• MaartenBaert / xormix
  A hardware-optimized high-quality pseudorandom number generator
  ☆37Updated 5 months ago
• lpil / soup
  A simple interpreted language written in Elixir
  ☆26Updated 8 years ago
• AbstractMachinesLab / tree-sitter-sexp
  Tree sitter grammar for S-expressions
  ☆26Updated 4 years ago
• thinkoco / de10-nano-riscv
  A RISC-V SoC ( Hbird e203 ) on Terasic DE10-Nano
  ☆41Updated 5 years ago
• P3109 / Public
  materials available to the public
  ☆29Updated 3 weeks ago
• andportnoy / riscv-disassembler
  A minimal RISC-V RV32I disassembler
  ☆56Updated 4 years ago
• seL4 / capdl
  Capability Distribution Language tools for seL4
  ☆37Updated last week
• ixy-languages / ixy.py
  Simple userspace packet processing for educational purposes 🎓
  ☆37Updated 4 years ago
• cjdelisle / libposit
  A library for working with the posit number type.
  ☆16Updated 5 years ago
• ziglang / fetch-them-macos-headers
  A utility for fetching minimal macOS libc headers
  ☆52Updated 11 months ago
• wimvanderbauwhede / OSH
  Code for the Operating Systems course
  ☆33Updated last year
• YoWASP / yosys
  Unofficial Yosys WebAssembly packages
  ☆74Updated this week
• I-mikan-I / zlox
  lox virtual machine implementation in zig!
  ☆28Updated 3 years ago
• tomahawkins / verilog
  A Verilog parser for Haskell.
  ☆36Updated 4 years ago
• tekknolagi / tekknolagi.github.com
  My personal website
  ☆103Updated this week
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• riscv-mcu / riscv-gnu-toolchain
  GNU toolchain for RISC-V, including GCC. Tweaked for microcontrollers.
  ☆33Updated 3 weeks ago
• kubkon / zacho
  Like otool but written from scratch in Zig
  ☆45Updated 3 months ago
• midas-framework / erlang_library_runtime
  A lightweight erlang runtime
  ☆21Updated 4 years ago
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆24Updated 9 months ago