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
  ☆49Updated last month
• cucapra / filament
  Fearless hardware design
  ☆177Updated this week
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 3 months ago
• calyxir / calyx-riscv
  RISCV Core written in Calyx
  ☆16Updated 10 months ago
• djg / verilated-rs
  Verilator Porcelain
  ☆47Updated last year
• Coloquinte / quaigh
  Logic circuit analysis and optimization
  ☆43Updated this week
• fabianschuiki / llhd-sim
  The LLHD reference simulator.
  ☆39Updated 4 years ago
• jix / flussab
  Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.
  ☆14Updated 7 months ago
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆27Updated 7 months ago
• ucb-substrate / substrate2
  21st century electronic design automation tools, written in Rust.
  ☆30Updated this week
• ekiwi / wellen
  wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.
  ☆74Updated this week
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆99Updated 2 weeks ago
• memoryleak47 / slotted-egraphs
  ☆29Updated 2 weeks ago
• Specy / rooc
  An optimization modeling language with solvers for MILP problems
  ☆52Updated 3 months ago
• cfallin / boolean_expression
  A Rust library for manipulating and evaluating Boolean expressions and BDDs
  ☆32Updated 4 years ago
• samitbasu / rhdl
  A Hardware Description Language based on the Rust Programming Language
  ☆219Updated this week
• pc2 / sus-compiler
  A new Hardware Design Language that keeps you in the driver's seat
  ☆111Updated this week
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆103Updated this week
• vegaluisjose / vast
  Verilog AST
  ☆21Updated last year
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆48Updated this week
• coastalwhite / wavedrom-rs
  Beautiful Digital Timing Diagrams with Rust
  ☆82Updated 6 months ago
• mikeurbach / egg-netlist-synthesizer
  Using e-graphs to synthesize netlists from boolean logic.
  ☆14Updated last year
• jwnhy / rvbt
  Baremetal Backtracing on RISC-V
  ☆15Updated 4 years ago
• phate / jlm
  ☆69Updated last week
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆73Updated this week
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆70Updated this week
• prjunnamed / prjunnamed
  End-to-end synthesis and P&R toolchain
  ☆85Updated this week
• yupferris / kaze
  An HDL embedded in Rust.
  ☆199Updated last year
• vaivaswatha / pliron
  An Extensible Compiler IR Framework
  ☆181Updated 2 weeks ago
• tchajed / rdb
  Debugger written in Rust
  ☆24Updated 3 years ago