Alternatives and similar repositories for spade

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

• metaborg / rust-scopegraphs
  Scope Graph Implementation in Rust
  ☆27Updated 6 months ago
• ethanuppal / marlin
  🦀 No nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl
  ☆48Updated this week
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆35Updated 2 months ago
• mcy / vb64
  SIMD base64 codecs
  ☆83Updated last year
• djg / verilated-rs
  Verilator Porcelain
  ☆47Updated last year
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆39Updated 2 weeks ago
• Specy / rooc
  An optimization modeling language with solvers for MILP problems
  ☆50Updated 2 months ago
• pietroalbini / plinky
  Linux linker for x86 and x86-64
  ☆31Updated this week
• tchajed / rdb
  Debugger written in Rust
  ☆24Updated 2 years ago
• calyxir / calyx-riscv
  RISCV Core written in Calyx
  ☆16Updated 9 months ago
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆38Updated 3 months ago
• azaleacolburn / sonder
  Static Pointer Analyzer and Transpiler from C to Safe Rust
  ☆25Updated last week
• messloc / messloc
  Port of https://github.com/plasma-umass/Mesh to Rust
  ☆16Updated 2 years ago
• fitzgen / safe-gc
  A garbage collection library for Rust with zero unsafe code
  ☆113Updated 10 months ago
• rust-console / voladdress
  Allows for proper and easy handling of volatile memory
  ☆39Updated last year
• jswrenn / elain
  Set the minimum alignments of types using const generics.
  ☆18Updated 7 months ago
• coastalwhite / wavedrom-rs
  Beautiful Digital Timing Diagrams with Rust
  ☆82Updated 5 months ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆26Updated last year
• rust-lang / gccjit.rs
  Rust bindings for libgccjit
  ☆23Updated last month
• jwnhy / rvbt
  Baremetal Backtracing on RISC-V
  ☆15Updated 3 years ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆74Updated 11 months ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆83Updated this week
• skius / progge.rs
  Program analysis playground for a simple, imperative language
  ☆36Updated 3 years ago
• ehwan / RustyLR
  RustyLR is a parser generator that converts context-free grammars into IELR(1)/LALR(1) tables with deterministic LR and GLR parsing strat…
  ☆19Updated this week
• cucapra / filament
  Fearless hardware design
  ☆177Updated last month
• iex-rs / iex
  Idiomatic exceptions for Rust
  ☆77Updated 9 months ago
• stefanpie / sa-placer
  ☆14Updated last year
• charlottia / hdx
  HDL development environment on Nix.
  ☆25Updated 7 months ago
• rust-osdev / volatile
  ☆86Updated last year
• cbiffle / lilist
  A Rust doubly-linked intrusive list with Miri tests
  ☆12Updated last year