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
  ☆31Updated last week
• TheProjecter / eqntott
  Automatically exported from code.google.com/p/eqntott
  ☆15Updated 10 years ago
• P3109 / Public
  materials available to the public
  ☆29Updated 2 weeks ago
• slightknack / keikan
  An elegant (imo) rendering engine written in Rust.
  ☆60Updated 3 years ago
• rachitnigam / runt
  A lighweight and parallel snapshot testing framework in rust
  ☆37Updated 2 years ago
• aappleby / metron
  A C++ to Verilog translation tool with some basic guarantees that your code will work.
  ☆176Updated 11 months ago
• sifiveinc / wake
  The SiFive wake build tool
  ☆91Updated last week
• oxrinz / rv32i
  32-bit integer only RISC-V core, along with assembler, linker, and compiler from scratch
  ☆22Updated 4 months ago
• thejefflarson / little-cpu
  Little cpu in verilog.
  ☆11Updated 2 years ago
• tenstorrent / tt-llk
  ☆34Updated this week
• xldenis / besm
  Resurrecting PP-BESM
  ☆27Updated last month
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆60Updated last month
• eliben / radgrad
  Tracing-based reverse mode automatic differentiation (like autograd!)
  ☆27Updated 11 months ago
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆33Updated 5 years ago
• ssloy / tinyoptimizer
  Can I make an *optimizing* compiler under 1k lines of code?
  ☆69Updated 11 months ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• lpil / soup
  A simple interpreted language written in Elixir
  ☆26Updated 8 years ago
• jaywonchung / reason
  A shell for research papers
  ☆195Updated 2 years ago
• weirdindiankid / cacheflow
  CacheFlow is a Linux kernel module that exposes the contents of the last-level cache on *most* ARM machines.
  ☆17Updated last year
• kubkon / zacho
  Like otool but written from scratch in Zig
  ☆48Updated 3 weeks ago
• tomahawkins / verilog
  A Verilog parser for Haskell.
  ☆36Updated 4 years ago
• harmonylang / harmony
  A Python-like programming language for testing and experimenting with concurrent programs.
  ☆32Updated 3 months ago
• YoWASP / yosys
  Unofficial Yosys WebAssembly packages
  ☆75Updated last week
• cucapra / dahlia
  Time-sensitive affine types for predictable hardware generation
  ☆148Updated 3 weeks ago
• keleshev / compiling-to-assembly-from-scratch
  Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
  ☆349Updated 8 months ago
• bitfield / cargo-testdox
  Turns your Rust tests into docs
  ☆19Updated 2 months ago
• phillbush / legv8
  LEGv8 CPU implementation and some tools like a LEGv8 assembler
  ☆33Updated 5 years ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• oxidecomputer / cobalt
  A collection of common Bluespec interfaces/modules.
  ☆103Updated last year
• tekknolagi / tekknolagi.github.com
  My personal website
  ☆104Updated this week