cucapra / filamentView external linksLinks
Fearless hardware design
☆194Aug 20, 2025Updated 5 months ago
Alternatives and similar repositories for filament
Users that are interested in filament are comparing it to the libraries listed below
Sorting:
- Intermediate Language (IL) for Hardware Accelerator Generators☆582Updated this week
- Time-sensitive affine types for predictable hardware generation☆148Jan 5, 2026Updated last month
- A core language for rule-based hardware design 🦑☆171Dec 10, 2025Updated 2 months ago
- 21st century electronic design automation tools, written in Rust.☆35Updated this week
- A Hardware Pipeline Description Language☆49Jul 12, 2025Updated 7 months ago
- A hardware synthesis framework with multi-level paradigm☆44Jan 10, 2025Updated last year
- High level synthesis language for hardware design☆81Dec 24, 2025Updated last month
- work in progress, playing around with btor2 in rust☆12Feb 6, 2026Updated last week
- Low Level Hardware Description — A foundation for building hardware design tools.☆426Apr 20, 2022Updated 3 years ago
- generating hardware accelerators for pangenomic graph queries☆39Updated this week
- DHLS (Dynamic High-Level Synthesis) compiler based on MLIR☆164Updated this week
- 🦀 No-nonsense hardware testing/simulation in Rust 🛠️ | Verilog, Spade, Veryl☆86Feb 5, 2026Updated last week
- A Platform for High-Level Parametric Hardware Specification and its Modular Verification☆164Nov 20, 2025Updated 2 months ago
- Circuit IR Compilers and Tools☆2,031Updated this week
- ☆40Sep 17, 2021Updated 4 years ago
- VS Code based debugger for hardware designs in Amaranth or Verilog☆39Dec 3, 2024Updated last year
- A formally verified high-level synthesis tool based on CompCert and written in Coq.☆97Jan 29, 2026Updated 2 weeks ago
- BTOR2 MLIR project☆26Jan 17, 2024Updated 2 years ago
- WAL enables programmable waveform analysis.☆164Nov 10, 2025Updated 3 months ago
- wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.☆106Feb 7, 2026Updated last week
- XLS: Accelerated HW Synthesis☆1,426Updated this week
- A hardware compiler based on LLHD and CIRCT☆265Jun 30, 2025Updated 7 months ago
- Create fast and efficient standard cell based adders, multipliers and multiply-adders.☆120Sep 20, 2023Updated 2 years ago
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆53Jul 17, 2023Updated 2 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!☆20Dec 5, 2024Updated last year
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆12Jun 26, 2025Updated 7 months ago
- magma circuits☆264Oct 19, 2024Updated last year
- Veryl: A Modern Hardware Description Language☆882Updated this week
- Control Logic Synthesis: Drawing the Rest of the OWL☆13Jun 17, 2024Updated last year
- ☆22Updated this week
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- ☆19Jul 12, 2024Updated last year
- Armv8 Native Code Symbolic Simulator in Lean☆96Nov 21, 2025Updated 2 months ago
- Equivalence checking with Yosys☆58Feb 4, 2026Updated last week
- A C-like hardware description language (HDL) adding high level synthesis(HLS)-like automatic pipelining as a language construct/compiler …☆697Updated this week
- E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)☆41Jul 17, 2024Updated last year
- DFiant HDL (DFHDL): A Dataflow Hardware Descripition Language☆93Updated this week
- Soft-logic designs and HAL libraries for various subsystems found in Oxide hardware.☆17Updated this week