Alternatives and similar repositories for spade:

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

• ethanuppal / marlin
  🦀 No nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl
  ☆42Updated 2 weeks ago
• djg / verilated-rs
  Verilator Porcelain
  ☆48Updated last year
• calyxir / calyx-riscv
  RISCV Core written in Calyx
  ☆16Updated 8 months ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 3 weeks ago
• Specy / rooc
  An optimization modeling language with solvers for MILP problems
  ☆49Updated 2 weeks ago
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆22Updated 4 months ago
• coastalwhite / wavedrom-rs
  Beautiful Digital Timing Diagrams with Rust
  ☆80Updated 4 months ago
• Coloquinte / quaigh
  Logic circuit analysis and optimization
  ☆35Updated 6 months ago
• Kixiron / cranial-coitus
  An experimental RVSDG optimizer for brainfuck code
  ☆24Updated 2 years ago
• fabianschuiki / llhd-sim
  The LLHD reference simulator.
  ☆37Updated 4 years ago
• samitbasu / rhdl
  A Hardware Description Language based on the Rust Programming Language
  ☆200Updated last week
• ekiwi / wellen
  wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.
  ☆56Updated last week
• vaivaswatha / pliron
  Programming Languages Intermediate Representation
  ☆160Updated last week
• cucapra / filament
  Fearless hardware design
  ☆175Updated this week
• kevinmehall / rust-vcd
  Read and write VCD (Value Change Dump) files in Rust
  ☆43Updated last year
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆24Updated last year
• DrChat / buddyalloc
  Buddy allocator, forked from the toyos repository.
  ☆14Updated 3 years ago
• ucb-substrate / substrate2
  21st century electronic design automation tools, written in Rust.
  ☆29Updated this week
• mikeurbach / egg-netlist-synthesizer
  Using e-graphs to synthesize netlists from boolean logic.
  ☆14Updated last year
• ekiwi / fst-reader
  Native Rust implementation of the FST waveform format from GTKWave.
  ☆12Updated last month
• phate / jlm
  ☆60Updated this week
• tchajed / rdb
  Debugger written in Rust
  ☆22Updated 2 years ago
• rust-osdev / volatile
  ☆74Updated 10 months ago
• vegaluisjose / vast
  Verilog AST
  ☆21Updated last year
• thomcc / ubrustc
  Unborrowed Rust Compiler (rustc without a borrowchecker)
  ☆107Updated last year
• mcy / vb64
  SIMD base64 codecs
  ☆81Updated last year
• yupferris / kaze
  An HDL embedded in Rust.
  ☆197Updated last year
• jwnhy / rvbt
  Baremetal Backtracing on RISC-V
  ☆14Updated 3 years ago
• skius / progge.rs
  Program analysis playground for a simple, imperative language
  ☆36Updated 2 years ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆73Updated 10 months ago