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 3 years ago
• B-Lang-org / bsc
  Bluespec Compiler (BSC)
  ☆952Updated this week
• janestreet / hardcaml
  Hardcaml is an OCaml library for designing hardware.
  ☆667Updated this week
• nickg / nvc
  VHDL compiler and simulator
  ☆635Updated this week
• sdiehl / kaleidoscope
  Haskell LLVM JIT Compiler Tutorial
  ☆1,030Updated 4 years ago
• llvm-hs / llvm-hs
  Haskell bindings for LLVM
  ☆508Updated 3 months ago
• chipsalliance / firrtl
  Flexible Intermediate Representation for RTL
  ☆729Updated 2 months ago
• myhdl / myhdl
  The MyHDL development repository
  ☆1,045Updated last month
• ucb-bar / chisel2-deprecated
  ☆389Updated 6 years ago
• mrkkrp / megaparsec
  Industrial-strength monadic parser combinator library
  ☆916Updated last month
• ZipCPU / zipcpu
  A small, light weight, RISC CPU soft core
  ☆1,300Updated 3 weeks ago
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,196Updated this week
• AccelerateHS / accelerate
  Embedded language for high-performance array computations
  ☆903Updated last week
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,029Updated last year
• Gabriella439 / turtle
  Shell programming, Haskell style
  ☆943Updated 5 months ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆817Updated 2 years ago
• openrisc / mor1kx
  mor1kx - an OpenRISC 1000 processor IP core
  ☆494Updated 3 weeks ago
• SymbioticEDA / riscv-formal
  RISC-V Formal Verification Framework
  ☆584Updated 2 years ago
• ndmitchell / shake
  Shake build system
  ☆771Updated 6 months ago
• vmware-archive / cascade
  A Just-In-Time Compiler for Verilog from VMware Research
  ☆435Updated 3 years ago
• edwinb / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆902Updated 4 years ago
• snowleopard / alga
  Algebraic graphs
  ☆719Updated 5 months ago
• idris-hackers / software-foundations
  Software Foundations in Idris
  ☆452Updated 5 years ago
• olofk / fusesoc
  Package manager and build abstraction tool for FPGA/ASIC development
  ☆1,202Updated this week
• fabianschuiki / llhd
  Low Level Hardware Description — A foundation for building hardware design tools.
  ☆394Updated 2 years ago
• VUnit / vunit
  VUnit is a unit testing framework for VHDL/SystemVerilog
  ☆740Updated this week
• SpinalHDL / SpinalHDL
  Scala based HDL
  ☆1,664Updated this week
• rems-project / sail
  Sail architecture definition language
  ☆617Updated this week
• CakeML / cakeml
  CakeML: A Verified Implementation of ML
  ☆959Updated this week
• agentm / project-m36
  Project: M36 Relational Algebra Engine
  ☆899Updated 2 weeks ago