clash-lang / clash-compiler

Related projects ⓘ

Alternatives and complementary repositories for clash-compiler

• tommythorn / Reduceron
  FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …
  ☆422Updated last week
• B-Lang-org / bsc
  Bluespec Compiler (BSC)
  ☆954Updated this week
• janestreet / hardcaml
  Hardcaml is an OCaml library for designing hardware.
  ☆670Updated this week
• chipsalliance / firrtl
  Flexible Intermediate Representation for RTL
  ☆731Updated 3 months ago
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,197Updated this week
• SpinalHDL / SpinalHDL
  Scala based HDL
  ☆1,671Updated this week
• chipsalliance / rocket-chip
  Rocket Chip Generator
  ☆3,263Updated last week
• llvm-hs / llvm-hs
  Haskell bindings for LLVM
  ☆511Updated 4 months ago
• sdiehl / kaleidoscope
  Haskell LLVM JIT Compiler Tutorial
  ☆1,030Updated 4 years ago
• olofk / serv
  SERV - The SErial RISC-V CPU
  ☆1,444Updated this week
• rems-project / sail
  Sail architecture definition language
  ☆621Updated this week
• ucb-bar / chisel2-deprecated
  ☆389Updated 6 years ago
• AccelerateHS / accelerate
  Embedded language for high-performance array computations
  ☆905Updated 3 weeks ago
• chipsalliance / chisel
  Chisel: A Modern Hardware Design Language
  ☆4,002Updated this week
• quchen / articles
  Miscellaneous articles. The readme is the table of contents.
  ☆1,251Updated last year
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,030Updated last year
• nickg / nvc
  VHDL compiler and simulator
  ☆636Updated this week
• riscv-boom / riscv-boom
  SonicBOOM: The Berkeley Out-of-Order Machine
  ☆1,746Updated last month
• SymbioticEDA / riscv-formal
  RISC-V Formal Verification Framework
  ☆585Updated 2 years ago
• CakeML / cakeml
  CakeML: A Verified Implementation of ML
  ☆964Updated this week
• rsnikhil / ICFP2020_Bluespec_Tutorial
  Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference
  ☆66Updated last year
• IntelLabs / flrc
  Haskell Research Compiler
  ☆818Updated 2 years ago
• SpinalHDL / VexRiscv
  A FPGA friendly 32 bit RISC-V CPU implementation
  ☆2,515Updated last week
• mrkkrp / megaparsec
  Industrial-strength monadic parser combinator library
  ☆919Updated this week
• firesim / firesim
  FireSim: Fast and Effortless FPGA-accelerated Hardware Simulation with On-Prem and Cloud Flexibility
  ☆889Updated this week
• ZipCPU / zipcpu
  A small, light weight, RISC CPU soft core
  ☆1,305Updated last month
• haskell / parsec
  A monadic parser combinator library
  ☆847Updated 6 months ago
• edwinb / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆902Updated 4 years ago
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆503Updated 4 months ago
• Gabriella439 / turtle
  Shell programming, Haskell style
  ☆946Updated 5 months ago