clash-lang / clash-compilerLinks
Haskell to VHDL/Verilog/SystemVerilog compiler
☆1,582Updated this week
Alternatives and similar repositories for clash-compiler
Users that are interested in clash-compiler are comparing it to the libraries listed below
Sorting:
- Bluespec Compiler (BSC)☆1,077Updated 2 weeks ago
- FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …☆452Updated 6 months ago
- Hardcaml is an OCaml library for designing hardware.☆968Updated 3 weeks ago
- Flexible Intermediate Representation for RTL☆748Updated last year
- Embedded language for high-performance array computations☆947Updated last week
- Haskell LLVM JIT Compiler Tutorial☆1,040Updated 5 years ago
- Haskell bindings for LLVM☆529Updated last year
- Liquid Types For Haskell☆1,288Updated this week
- Scala based HDL☆1,918Updated last week
- Sail architecture definition language☆841Updated this week
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,059Updated 7 months ago
- A small, light weight, RISC CPU soft core☆1,507Updated 2 months ago
- CakeML: A Verified Implementation of ML☆1,113Updated this week
- Industrial-strength monadic parser combinator library☆971Updated last week
- VHDL compiler and simulator☆772Updated last week
- Hardware Description Languages☆1,112Updated 6 months ago
- mor1kx - an OpenRISC 1000 processor IP core☆574Updated 5 months ago
- A monadic parser combinator library☆883Updated 8 months ago
- ☆388Updated 7 years ago
- Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference☆77Updated 3 years ago
- A Just-In-Time Compiler for Verilog from VMware Research☆446Updated 4 years ago
- An introduction to programming language theory in Agda☆1,486Updated 2 weeks ago
- RISC-V Formal Verification Framework☆624Updated 3 years ago
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆376Updated 2 years ago
- GPGPU microprocessor architecture☆2,177Updated last year
- Project: M36 Relational Algebra Engine☆942Updated last week
- SonicBOOM: The Berkeley Out-of-Order Machine☆2,072Updated last week
- A dependently typed programming language, a successor to Idris☆900Updated 5 years ago
- chisel tutorial exercises and answers☆743Updated 4 years ago
- Where Lions Roam: RISC-V on the VELDT☆265Updated last month