Alternatives and similar repositories for clash-compiler

Users that are interested in clash-compiler are comparing it to the libraries listed below

• tommythorn / Reduceron
  FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …
  ☆434Updated 2 months ago
• B-Lang-org / bsc
  Bluespec Compiler (BSC)
  ☆1,022Updated last month
• janestreet / hardcaml
  Hardcaml is an OCaml library for designing hardware.
  ☆788Updated 2 weeks ago
• chipsalliance / firrtl
  Flexible Intermediate Representation for RTL
  ☆745Updated 10 months ago
• ucb-bar / chisel2-deprecated
  ☆389Updated 7 years ago
• rems-project / sail
  Sail architecture definition language
  ☆747Updated this week
• SpinalHDL / SpinalHDL
  Scala based HDL
  ☆1,801Updated last week
• ZipCPU / zipcpu
  A small, light weight, RISC CPU soft core
  ☆1,420Updated 4 months ago
• sdiehl / kaleidoscope
  Haskell LLVM JIT Compiler Tutorial
  ☆1,041Updated 5 years ago
• myhdl / myhdl
  The MyHDL development repository
  ☆1,084Updated 2 months ago
• SymbioticEDA / riscv-formal
  RISC-V Formal Verification Framework
  ☆602Updated 3 years ago
• llvm-hs / llvm-hs
  Haskell bindings for LLVM
  ☆520Updated 11 months ago
• drom / awesome-hdl
  Hardware Description Languages
  ☆1,038Updated 4 months ago
• firesim / firesim
  FireSim: Fast and Effortless FPGA-accelerated Hardware Simulation with On-Prem and Cloud Flexibility
  ☆940Updated last week
• rsnikhil / ICFP2020_Bluespec_Tutorial
  Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference
  ☆73Updated 2 years ago
• openrisc / mor1kx
  mor1kx - an OpenRISC 1000 processor IP core
  ☆547Updated 2 months ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,435Updated this week
• fabianschuiki / llhd
  Low Level Hardware Description — A foundation for building hardware design tools.
  ☆417Updated 3 years ago
• YosysHQ / yosys
  Yosys Open SYnthesis Suite
  ☆3,888Updated this week
• YosysHQ / nextpnr
  nextpnr portable FPGA place and route tool
  ☆1,459Updated this week
• aolofsson / oh
  Verilog library for ASIC and FPGA designers
  ☆1,303Updated last year
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,040Updated 2 weeks ago
• snowleopard / alga
  Algebraic graphs
  ☆739Updated last month
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,247Updated 2 weeks ago
• bluespec / Flute
  RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance
  ☆370Updated last year
• standardsemiconductor / lion
  Where Lions Roam: RISC-V on the VELDT
  ☆260Updated 10 months ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆819Updated 2 years ago
• ndmitchell / shake
  Shake build system
  ☆788Updated 4 months ago
• olofk / serv
  SERV - The SErial RISC-V CPU
  ☆1,604Updated 3 weeks ago
• YosysHQ / arachne-pnr
  Place and route tool for FPGAs
  ☆421Updated 5 years ago