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
  ☆77Updated last week
• cucapra / filament
  Fearless hardware design
  ☆184Updated 4 months ago
• pc2 / sus-compiler
  A new Hardware Design Language that keeps you in the driver's seat
  ☆122Updated last week
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆34Updated 5 months ago
• djg / verilated-rs
  Verilator Porcelain
  ☆49Updated 2 years ago
• calyxir / calyx-riscv
  RISCV Core written in Calyx
  ☆17Updated last year
• coastalwhite / wavedrom-rs
  Beautiful Digital Timing Diagrams with Rust
  ☆88Updated last year
• charlottia / hdx
  HDL development environment on Nix.
  ☆26Updated last year
• Coloquinte / quaigh
  Logic circuit analysis and optimization
  ☆45Updated 4 months ago
• samitbasu / rhdl
  A Hardware Description Language based on the Rust Programming Language
  ☆259Updated this week
• ekiwi / wellen
  wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.
  ☆103Updated this week
• jix / flussab
  Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.
  ☆15Updated last year
• kevinmehall / rust-vcd
  Read and write VCD (Value Change Dump) files in Rust
  ☆44Updated last year
• yupferris / kaze
  An HDL embedded in Rust.
  ☆202Updated 2 years ago
• jwnhy / rvbt
  Baremetal Backtracing on RISC-V
  ☆16Updated 4 years ago
• ucb-substrate / substrate2
  21st century electronic design automation tools, written in Rust.
  ☆33Updated this week
• Specy / rooc
  An optimization modeling language with solvers for MILP problems
  ☆59Updated 3 months ago
• fabianschuiki / moore
  A hardware compiler based on LLHD and CIRCT
  ☆264Updated 5 months ago
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆53Updated 5 months ago
• prjunnamed / prjunnamed
  End-to-end synthesis and P&R toolchain
  ☆92Updated 3 weeks ago
• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆28Updated last year
• jomaway / typst-bytefield
  A typst package for creating diagrams of network protocols, memory layouts, register definitions or similar structures.
  ☆100Updated 10 months ago
• shnarazk / splr
  A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
  ☆102Updated 5 months ago
• rems-project / isla
  Symbolic execution tool for Sail ISA specifications
  ☆79Updated 3 months ago
• cucapra / patronus
  work in progress, playing around with btor2 in rust
  ☆12Updated last month
• stefanpie / sa-placer
  ☆16Updated last year
• psurply / dwfv
  A simple digital waveform viewer with vi-like key bindings.
  ☆143Updated 9 months ago
• fabianschuiki / llhd-sim
  The LLHD reference simulator.
  ☆39Updated 5 years ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆177Updated 3 weeks ago
• AeneasVerif / charon
  Interface with the rustc compiler for the purpose of program verification
  ☆253Updated last week