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 last month
• B-Lang-org / bsc
  Bluespec Compiler (BSC)
  ☆1,015Updated 3 weeks ago
• llvm-hs / llvm-hs
  Haskell bindings for LLVM
  ☆520Updated 10 months ago
• ucb-bar / chisel2-deprecated
  ☆389Updated 7 years ago
• janestreet / hardcaml
  Hardcaml is an OCaml library for designing hardware.
  ☆776Updated last week
• nickg / nvc
  VHDL compiler and simulator
  ☆697Updated this week
• chipsalliance / firrtl
  Flexible Intermediate Representation for RTL
  ☆741Updated 9 months ago
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,244Updated this week
• SpinalHDL / SpinalHDL
  Scala based HDL
  ☆1,794Updated last week
• sdiehl / kaleidoscope
  Haskell LLVM JIT Compiler Tutorial
  ☆1,042Updated 5 years ago
• idris-hackers / software-foundations
  Software Foundations in Idris
  ☆454Updated 6 years ago
• ZipCPU / zipcpu
  A small, light weight, RISC CPU soft core
  ☆1,410Updated 4 months ago
• mrkkrp / megaparsec
  Industrial-strength monadic parser combinator library
  ☆945Updated 4 months ago
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,043Updated 2 years ago
• AccelerateHS / accelerate
  Embedded language for high-performance array computations
  ☆919Updated last week
• haskell / parsec
  A monadic parser combinator library
  ☆871Updated 5 months ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆820Updated 2 years ago
• chipsalliance / chisel
  Chisel: A Modern Hardware Design Language
  ☆4,286Updated this week
• snowleopard / alga
  Algebraic graphs
  ☆740Updated 2 weeks ago
• agda / agda
  Agda is a dependently typed programming language / interactive theorem prover.
  ☆2,651Updated this week
• sergeykhbr / riscv_vhdl
  Portable RISC-V System-on-Chip implementation: RTL, debugger and simulators
  ☆669Updated last week
• openrisc / mor1kx
  mor1kx - an OpenRISC 1000 processor IP core
  ☆538Updated 2 months ago
• drom / awesome-hdl
  Hardware Description Languages
  ☆1,037Updated 3 months ago
• rems-project / sail
  Sail architecture definition language
  ☆735Updated last week
• Copilot-Language / copilot
  A stream-based runtime-verification framework for generating hard real-time C code.
  ☆738Updated 2 weeks ago
• ghdl / ghdl
  VHDL 2008/93/87 simulator
  ☆2,566Updated last week
• bluespec / Flute
  RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance
  ☆368Updated last year
• agentm / project-m36
  Project: M36 Relational Algebra Engine
  ☆931Updated last month
• SymbioticEDA / riscv-formal
  RISC-V Formal Verification Framework
  ☆602Updated 3 years ago
• fabianschuiki / llhd
  Low Level Hardware Description — A foundation for building hardware design tools.
  ☆415Updated 3 years ago