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,059Updated this week
• tommythorn / Reduceron
  FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …
  ☆448Updated 4 months ago
• janestreet / hardcaml
  Hardcaml is an OCaml library for designing hardware.
  ☆860Updated last week
• sdiehl / kaleidoscope
  Haskell LLVM JIT Compiler Tutorial
  ☆1,044Updated 5 years ago
• chipsalliance / firrtl
  Flexible Intermediate Representation for RTL
  ☆749Updated last year
• AccelerateHS / accelerate
  Embedded language for high-performance array computations
  ☆940Updated last week
• nickg / nvc
  VHDL compiler and simulator
  ☆754Updated last week
• rsnikhil / ICFP2020_Bluespec_Tutorial
  Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference
  ☆75Updated 2 years ago
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,268Updated this week
• llvm-hs / llvm-hs
  Haskell bindings for LLVM
  ☆527Updated last year
• mrkkrp / megaparsec
  Industrial-strength monadic parser combinator library
  ☆957Updated 3 weeks ago
• SpinalHDL / SpinalHDL
  Scala based HDL
  ☆1,877Updated last week
• CakeML / cakeml
  CakeML: A Verified Implementation of ML
  ☆1,090Updated this week
• IntelLabs / flrc
  Haskell Research Compiler
  ☆818Updated 3 years ago
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,053Updated 5 months ago
• ucb-bar / chisel2-deprecated
  ☆387Updated 7 years ago
• haskell / parsec
  A monadic parser combinator library
  ☆877Updated 5 months ago
• rems-project / sail
  Sail architecture definition language
  ☆806Updated this week
• adamwalker / clash-utils
  A collection of reusable Clash designs/examples
  ☆53Updated last year
• GaloisInc / HaLVM
  The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
  ☆1,065Updated 6 years ago
• leksah / leksah
  Haskell IDE
  ☆975Updated last year
• standardsemiconductor / lion
  Where Lions Roam: RISC-V on the VELDT
  ☆259Updated 3 months ago
• myhdl / myhdl
  The MyHDL development repository
  ☆1,100Updated 7 months ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,468Updated this week
• SymbioticEDA / riscv-formal
  RISC-V Formal Verification Framework
  ☆615Updated 3 years ago
• MLton / mlton
  The MLton repository
  ☆1,028Updated 3 weeks ago
• ZipCPU / zipcpu
  A small, light weight, RISC CPU soft core
  ☆1,477Updated 3 months ago
• fabianschuiki / llhd
  Low Level Hardware Description — A foundation for building hardware design tools.
  ☆423Updated 3 years ago
• HoTT / Coq-HoTT
  A Coq library for Homotopy Type Theory
  ☆1,356Updated this week
• edwinb / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆900Updated 5 years ago