Alternatives and similar repositories for qfc

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

• oxidecomputer / tockilator
  Deducing Tock execution flows from Ibex Verilator traces
  ☆70Updated 3 years ago
• stephank / rvsim
  A RISC-V simulator implementing RV32G[C].
  ☆35Updated 2 years ago
• amaranth-lang / amaranth-yosys
  WebAssembly-based Yosys distribution for Amaranth HDL
  ☆28Updated 2 weeks ago
• signalspec / signalspec
  Language for composable analysis and generation of digital, analog, and RF signals
  ☆58Updated 3 months ago
• iximeow / regmap
  memory-mapped registers for x86_64 systems
  ☆35Updated 4 years ago
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆119Updated 2 years ago
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆16Updated last month
• the6p4c / catgirltogds
  converts catgirls to gds files
  ☆15Updated 4 years ago
• lethalbit / discretize
  A Yosys pass and technology library + scripts for implementing a HDL design in discretie FETs for layout in KiCad
  ☆13Updated last year
• lienching / pci-ids.rs
  Cross-platform Rust wrappers for the PCI ID Repository
  ☆11Updated 3 months ago
• lachlansneff / ligeia
  A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.
  ☆19Updated 3 years ago
• YoWASP / yosys
  Unofficial Yosys WebAssembly packages
  ☆74Updated this week
• stefanpie / sa-placer
  ☆16Updated last year
• google / minetest_pnr
  Place & Router for Minetest
  ☆18Updated 3 years ago
• oxidecomputer / cobalt
  A collection of common Bluespec interfaces/modules.
  ☆102Updated last year
• gatecat / hrt
  Hot Reconfiguration Technology demo
  ☆41Updated 3 years ago
• brson / stabworld
  Tools for analyzing how the Rust ecosystem is using the language
  ☆12Updated 10 years ago
• charlottia / hdx
  HDL development environment on Nix.
  ☆26Updated last year
• gatecat / prjoxide
  Documenting Lattice's 28nm FPGA parts
  ☆147Updated 2 years ago
• fwsGonzo / bigassm
  Assemble 128-bit RISC-V
  ☆46Updated 2 years ago
• psurply / dwfv
  A simple digital waveform viewer with vi-like key bindings.
  ☆143Updated 10 months ago
• ycrypto / salty
  25519 for Cortex-M4 microcontrollers
  ☆66Updated 3 months ago
• betrusted-io / betrusted-ec
  Betrusted embedded controller (UP5K)
  ☆48Updated 2 years ago
• benpye / nix-fpga-tools
  ☆27Updated 3 years ago
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆48Updated 3 weeks ago
• Kuree / fsim
  Fiber-based SystemVerilog Simulator.
  ☆25Updated 3 years ago
• utsaslab / nofs
  The No-Order File System (NoFS)
  ☆48Updated 13 years ago
• tcr / hoodlum
  A nicer HDL.
  ☆98Updated 8 years ago
• brouhaha / glacial
  Glacial - microcoded RISC-V core designed for low FPGA resource utilization
  ☆87Updated 6 years ago
• robn / quiz
  Fast edit-compile-test cycles for Linux+OpenZFS development
  ☆32Updated 3 weeks ago