Alternatives and similar repositories for qfc

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

• amaranth-lang / amaranth-yosys
  WebAssembly-based Yosys distribution for Amaranth HDL
  ☆27Updated 3 weeks ago
• charlottia / hdx
  HDL development environment on Nix.
  ☆26Updated 10 months ago
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆118Updated 2 years ago
• oxidecomputer / tockilator
  Deducing Tock execution flows from Ibex Verilator traces
  ☆70Updated 3 years ago
• the6p4c / catgirltogds
  converts catgirls to gds files
  ☆15Updated 4 years ago
• iximeow / regmap
  memory-mapped registers for x86_64 systems
  ☆35Updated 4 years ago
• YJDoc2 / pcb-rs
  A library to easily write software emulated hardware
  ☆115Updated 3 years ago
• ycrypto / salty
  25519 for Cortex-M4 microcontrollers
  ☆65Updated 2 weeks ago
• oxidecomputer / cobalt
  A collection of common Bluespec interfaces/modules.
  ☆102Updated last year
• lachlansneff / ligeia
  A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.
  ☆19Updated 3 years ago
• betrusted-io / betrusted-ec
  Betrusted embedded controller (UP5K)
  ☆47Updated last year
• google / minetest_pnr
  Place & Router for Minetest
  ☆18Updated 2 years ago
• lienching / pci-ids.rs
  Cross-platform Rust wrappers for the PCI ID Repository
  ☆11Updated 10 months ago
• signalspec / signalspec
  Language for composable analysis and generation of digital, analog, and RF signals
  ☆57Updated 6 months ago
• gatecat / prjoxide
  Documenting Lattice's 28nm FPGA parts
  ☆144Updated last year
• lethalbit / discretize
  A Yosys pass and technology library + scripts for implementing a HDL design in discretie FETs for layout in KiCad
  ☆12Updated last year
• q3k / qf100
  Migrated to Codeberg
  ☆15Updated 3 years ago
• robn / quiz
  Fast edit-compile-test cycles for Linux+OpenZFS development
  ☆29Updated 3 weeks ago
• cyberus-technology / usbvfiod
  A tool for USB device pass-through using the vfio-user protocol.
  ☆19Updated this week
• psurply / dwfv
  A simple digital waveform viewer with vi-like key bindings.
  ☆141Updated 6 months ago
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆43Updated last week
• YoWASP / yosys
  Unofficial Yosys WebAssembly packages
  ☆72Updated this week
• whitequark / thunderscope-rs
  ☆13Updated 11 months ago
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆14Updated 2 months ago
• brouhaha / glacial
  Glacial - microcoded RISC-V core designed for low FPGA resource utilization
  ☆86Updated 5 years ago
• stephank / rvsim
  A RISC-V simulator implementing RV32G[C].
  ☆35Updated 2 years ago
• tcr / hoodlum
  A nicer HDL.
  ☆97Updated 8 years ago
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆142Updated this week
• gatecat / hrt
  Hot Reconfiguration Technology demo
  ☆40Updated 3 years ago
• benpye / nix-fpga-tools
  ☆25Updated 3 years ago