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
  ☆86Updated last week
• cucapra / filament
  Fearless hardware design
  ☆194Updated 5 months ago
• pc2 / sus-compiler
  A new Hardware Design Language that keeps you in the driver's seat
  ☆123Updated last week
• djg / verilated-rs
  Verilator Porcelain
  ☆49Updated 2 years ago
• Coloquinte / quaigh
  Logic circuit analysis and optimization
  ☆45Updated last week
• fabianschuiki / llhd-sim
  The LLHD reference simulator.
  ☆39Updated 5 years ago
• ekiwi / wellen
  wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.
  ☆106Updated this week
• kevinmehall / rust-vcd
  Read and write VCD (Value Change Dump) files in Rust
  ☆45Updated last year
• calyxir / calyx-riscv
  RISCV Core written in Calyx
  ☆17Updated last year
• fabianschuiki / moore
  A hardware compiler based on LLHD and CIRCT
  ☆265Updated 7 months ago
• ucb-substrate / substrate2
  21st century electronic design automation tools, written in Rust.
  ☆35Updated this week
• yupferris / kaze
  An HDL embedded in Rust.
  ☆202Updated 2 years ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆34Updated last week
• vtta / clean-acmart
  ☆28Updated 3 months ago
• prjunnamed / prjunnamed
  End-to-end synthesis and P&R toolchain
  ☆94Updated 2 months ago
• lachlansneff / ligeia
  A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.
  ☆19Updated 3 years ago
• jix / flussab
  Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.
  ☆15Updated last year
• samitbasu / rhdl
  A Hardware Description Language based on the Rust Programming Language
  ☆282Updated this week
• coastalwhite / wavedrom-rs
  Beautiful Digital Timing Diagrams with Rust
  ☆88Updated last year
• mikeurbach / egg-netlist-synthesizer
  Using e-graphs to synthesize netlists from boolean logic.
  ☆14Updated 2 years ago
• charlottia / hdx
  HDL development environment on Nix.
  ☆26Updated last year
• psurply / dwfv
  A simple digital waveform viewer with vi-like key bindings.
  ☆143Updated 11 months ago
• cucapra / patronus
  work in progress, playing around with btor2 in rust
  ☆12Updated this week
• vegaluisjose / vast
  Verilog AST
  ☆21Updated 2 years ago
• mit-plv / koika
  A core language for rule-based hardware design 🦑
  ☆171Updated 2 months ago
• kuznia-rdzeni / coreblocks
  RISC-V out-of-order core for education and research purposes
  ☆81Updated 3 weeks ago
• riscv / riscv-cheri
  This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…
  ☆97Updated this week
• SmithsDigitalForge / rust-hdl
  ☆30Updated 3 years ago
• YoWASP / yosys
  Unofficial Yosys WebAssembly packages
  ☆76Updated this week
• chrjabs / rustsat
  This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solvi…
  ☆52Updated this week