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)
  ☆970Updated this week
• tommythorn / Reduceron
  FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …
  ☆426Updated last month
• janestreet / hardcaml
  Hardcaml is an OCaml library for designing hardware.
  ☆688Updated 2 months ago
• sdiehl / kaleidoscope
  Haskell LLVM JIT Compiler Tutorial
  ☆1,036Updated 4 years ago
• chipsalliance / firrtl
  Flexible Intermediate Representation for RTL
  ☆736Updated 5 months ago
• SpinalHDL / SpinalHDL
  Scala based HDL
  ☆1,719Updated this week
• llvm-hs / llvm-hs
  Haskell bindings for LLVM
  ☆514Updated 6 months ago
• ZipCPU / zipcpu
  A small, light weight, RISC CPU soft core
  ☆1,345Updated 2 months ago
• snowleopard / alga
  Algebraic graphs
  ☆725Updated 8 months ago
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,217Updated this week
• nickg / nvc
  VHDL compiler and simulator
  ☆657Updated this week
• AccelerateHS / accelerate
  Embedded language for high-performance array computations
  ☆909Updated 2 weeks ago
• ucb-bar / chisel2-deprecated
  ☆389Updated 6 years ago
• lexi-lambda / hackett
  WIP implementation of a Haskell-like Lisp in Racket
  ☆1,169Updated 9 months ago
• verilator / verilator
  Verilator open-source SystemVerilog simulator and lint system
  ☆2,685Updated this week
• sdiehl / wiwinwlh
  What I Wish I Knew When Learning Haskell
  ☆2,584Updated 2 years ago
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,033Updated last year
• IntelLabs / flrc
  Haskell Research Compiler
  ☆817Updated 2 years ago
• YosysHQ / nextpnr
  nextpnr portable FPGA place and route tool
  ☆1,360Updated this week
• haskell / parsec
  A monadic parser combinator library
  ☆858Updated 3 weeks ago
• rems-project / sail
  Sail architecture definition language
  ☆660Updated this week
• chipsalliance / chisel
  Chisel: A Modern Hardware Design Language
  ☆4,108Updated this week
• YosysHQ / yosys
  Yosys Open SYnthesis Suite
  ☆3,612Updated this week
• olofk / serv
  SERV - The SErial RISC-V CPU
  ☆1,474Updated last month
• ghdl / ghdl
  VHDL 2008/93/87 simulator
  ☆2,463Updated this week
• mrkkrp / megaparsec
  Industrial-strength monadic parser combinator library
  ☆932Updated last week
• Gabriella439 / turtle
  Shell programming, Haskell style
  ☆948Updated 8 months ago
• YosysHQ / picorv32
  PicoRV32 - A Size-Optimized RISC-V CPU
  ☆3,234Updated 7 months ago
• SymbioticEDA / riscv-formal
  RISC-V Formal Verification Framework
  ☆591Updated 2 years ago
• agda / agda
  Agda is a dependently typed programming language / interactive theorem prover.
  ☆2,560Updated last week