Alternatives and similar repositories for clash-compiler

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

• B-Lang-org / bsc
  Bluespec Compiler (BSC)
  ☆1,050Updated this week
• tommythorn / Reduceron
  FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …
  ☆444Updated 2 months ago
• janestreet / hardcaml
  Hardcaml is an OCaml library for designing hardware.
  ☆837Updated last month
• chipsalliance / firrtl
  Flexible Intermediate Representation for RTL
  ☆748Updated last year
• AccelerateHS / accelerate
  Embedded language for high-performance array computations
  ☆935Updated last month
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,261Updated this week
• nickg / nvc
  VHDL compiler and simulator
  ☆738Updated last week
• ucb-bar / chisel2-deprecated
  ☆389Updated 7 years ago
• adamwalker / clash-utils
  A collection of reusable Clash designs/examples
  ☆53Updated last year
• 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
• rems-project / sail
  Sail architecture definition language
  ☆787Updated this week
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,051Updated 3 months ago
• sdiehl / kaleidoscope
  Haskell LLVM JIT Compiler Tutorial
  ☆1,044Updated 5 years ago
• CakeML / cakeml
  CakeML: A Verified Implementation of ML
  ☆1,082Updated this week
• myhdl / myhdl
  The MyHDL development repository
  ☆1,098Updated 5 months ago
• chipsalliance / chisel
  Chisel: A Modern Hardware Design Language
  ☆4,412Updated last week
• SpinalHDL / SpinalHDL
  Scala based HDL
  ☆1,854Updated this week
• standardsemiconductor / lion
  Where Lions Roam: RISC-V on the VELDT
  ☆260Updated last month
• mrkkrp / megaparsec
  Industrial-strength monadic parser combinator library
  ☆954Updated last month
• SymbioticEDA / riscv-formal
  RISC-V Formal Verification Framework
  ☆610Updated 3 years ago
• Copilot-Language / copilot
  A stream-based runtime-verification framework for generating hard real-time C code.
  ☆768Updated 3 weeks ago
• openrisc / mor1kx
  mor1kx - an OpenRISC 1000 processor IP core
  ☆554Updated last month
• IntelLabs / flrc
  Haskell Research Compiler
  ☆819Updated 2 years ago
• vmware-archive / cascade
  A Just-In-Time Compiler for Verilog from VMware Research
  ☆447Updated 4 years ago
• haskell / parsec
  A monadic parser combinator library
  ☆874Updated 3 months ago
• llvm-hs / llvm-hs
  Haskell bindings for LLVM
  ☆524Updated last year
• drom / awesome-hdl
  Hardware Description Languages
  ☆1,068Updated 2 months ago
• agentm / project-m36
  Project: M36 Relational Algebra Engine
  ☆931Updated 2 weeks ago
• riscv-boom / riscv-boom
  SonicBOOM: The Berkeley Out-of-Order Machine
  ☆1,979Updated 4 months ago
• GaloisInc / ivory
  The Ivory EDSL
  ☆402Updated 5 years ago