🦀 No-nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl
☆131Oct 3, 2026Updated last month
Alternatives and similar repositories for marlin
Users that are interested in marlin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Verilator Porcelain☆48Nov 7, 2023Updated 2 years ago
- A Hardware Description Language that doesn't make you want to pull your hair out | read-only mirror of https://codeberg.org/spade-lang/sp…☆110Updated this week
- Rust bindings for CIRCT☆19Apr 20, 2024Updated 2 years ago
- Veryl: A Modern Hardware Description Language☆1,052Updated this week
- ☆14Aug 17, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.☆148Oct 25, 2026Updated last week
- 21st century electronic design automation tools, written in Rust.☆37Oct 13, 2026Updated 3 weeks ago
- Rust Test Bench - write HDL tests in Rust.☆27Nov 28, 2022Updated 3 years ago
- A Hardware Description Language based on the Rust Programming Language☆330Apr 21, 2026Updated 6 months ago
- New implementation of protocols☆15Updated this week
- A programming language for writing constraint-based integrated circuit layout generators☆17Updated this week
- A GPU acceleration flow for RTL simulation with batch stimulus☆126Apr 1, 2024Updated 2 years ago
- Collection of utlities for writing parsers. Includes a fast DIMACS CNF parser.☆15Nov 19, 2024Updated last year
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆14Mar 27, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- The Next-gen Language & Compiler Powering Efficient Hardware Design☆41Jan 16, 2025Updated last year
- design and verification of asynchronous circuits☆52Oct 19, 2026Updated 2 weeks ago
- Meno is a tool for visualizing hierarchical data, such as synthesized circuit sizes. It can be built into a single, standalone HTML file.…☆21Sep 28, 2026Updated last month
- ☆14May 7, 2026Updated 5 months ago
- ☆15Sep 30, 2026Updated last month
- FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits☆14Aug 5, 2025Updated last year
- Equivalence Verification Checking for Code Transformation via Equality Saturation☆13Jun 1, 2026Updated 5 months ago
- [MIGRATED to https://codeberg.org/prjunnamed/prjunnamed] End-to-end synthesis and P&R toolchain☆95Mar 12, 2026Updated 7 months ago
- ☆40Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A crate to write CMSIS-DAP flash algorithms for flashing embedded targets☆10Jan 3, 2026Updated 10 months ago
- ☆30Oct 16, 2022Updated 4 years ago
- Yosys RTLIL dialect for MLIR☆25Jun 12, 2025Updated last year
- A spicy hardware description language with dependent types☆17Sep 25, 2022Updated 4 years ago
- Wishbone plumbing written in Chisel3☆10Dec 19, 2024Updated last year
- A hardware verification framework in Rust, inspired by the UVM.☆14Oct 28, 2026Updated last week
- Open-source SystemVerilog simulator in Rust. 4-state, event-driven, IEEE 1800-2023, runs real UVM.☆126Updated this week
- SystemVerilog parser library fully compliant with IEEE 1800-2017☆484Jun 10, 2026Updated 4 months ago
- Nix flake for more up-to-date versions of EDA tools☆34Oct 27, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A new Hardware Design Language that keeps you in the driver's seat☆130Updated this week
- High level synthesis language for hardware design☆107Updated this week
- Refreshing automation for inductive equational proofs using e-graphs☆28Jul 7, 2024Updated 2 years ago
- bluecore - risc-v cpu☆16Feb 13, 2026Updated 8 months ago
- Fuzzing processor simulations with taint tracking.☆15Aug 24, 2025Updated last year
- Fast Symbolic Repair of Hardware Design Code☆40Jan 20, 2025Updated last year
- A repository that implements Tywaves: enabling a type-based waveform debugging for Chisel and Tydi-Chisel. Mapping from Chisel level code…☆64Oct 27, 2024Updated 2 years ago