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
• charlottia / hdx
  HDL development environment on Nix.
  ☆26Updated last year
• fwsGonzo / bigassm
  Assemble 128-bit RISC-V
  ☆46Updated last year
• stephenrkell / donald
  The Mickey Mouse of dynamic linkers
  ☆16Updated last month
• lachlansneff / ligeia
  A replacement for gtkwave, written in Rust with high-performance and larger-than-memory traces in mind.
  ☆19Updated 3 years ago
• amaranth-lang / amaranth-yosys
  WebAssembly-based Yosys distribution for Amaranth HDL
  ☆28Updated last week
• oxidecomputer / cobalt
  A collection of common Bluespec interfaces/modules.
  ☆102Updated last year
• lethalbit / discretize
  A Yosys pass and technology library + scripts for implementing a HDL design in discretie FETs for layout in KiCad
  ☆13Updated last year
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆117Updated 2 years ago
• iximeow / regmap
  memory-mapped registers for x86_64 systems
  ☆35Updated 4 years ago
• the6p4c / catgirltogds
  converts catgirls to gds files
  ☆15Updated 4 years ago
• q3k / qf100
  Migrated to Codeberg
  ☆15Updated 3 years ago
• psurply / dwfv
  A simple digital waveform viewer with vi-like key bindings.
  ☆143Updated 7 months ago
• ycrypto / salty
  25519 for Cortex-M4 microcontrollers
  ☆66Updated 3 weeks ago
• gatecat / subprime
  ☆16Updated 4 years ago
• POETSII / tinsel
  Manythread RISC-V overlay for FPGA clusters
  ☆38Updated last month
• signalspec / signalspec
  Language for composable analysis and generation of digital, analog, and RF signals
  ☆58Updated 3 weeks ago
• lienching / pci-ids.rs
  Cross-platform Rust wrappers for the PCI ID Repository
  ☆11Updated 3 weeks ago
• fabianschuiki / llhd-sim
  The LLHD reference simulator.
  ☆39Updated 5 years ago
• elliottt / easy-smt
  Easy SMT solver interaction
  ☆34Updated 3 months ago
• sifiveinc / wake
  The SiFive wake build tool
  ☆91Updated last week
• brouhaha / glacial
  Glacial - microcoded RISC-V core designed for low FPGA resource utilization
  ☆87Updated 6 years ago
• CHERIoT-Platform / cheriot-sail
  Sail code model of the CHERIoT ISA
  ☆45Updated last week
• tcr / rust-verilog
  Verilog parsing and generator crate.
  ☆21Updated 5 years ago
• djg / verilated-rs
  Verilator Porcelain
  ☆49Updated last year
• badrobotics / FeRTOS
  FeRTOS is a simple "operating system" that currently supports ARM Cortex-M CPUs
  ☆13Updated 3 years ago
• benpye / nix-fpga-tools
  ☆26Updated 3 years ago
• stephank / rvsim
  A RISC-V simulator implementing RV32G[C].
  ☆35Updated 2 years ago
• gatecat / hrt
  Hot Reconfiguration Technology demo
  ☆40Updated 3 years ago
• gatecat / prjoxide
  Documenting Lattice's 28nm FPGA parts
  ☆144Updated last year