clash-lang / clash-compilerLinks
Haskell to VHDL/Verilog/SystemVerilog compiler
☆1,549Updated 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,054Updated 3 weeks ago
- FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …☆447Updated 3 months ago
- Hardcaml is an OCaml library for designing hardware.☆849Updated 2 weeks ago
- Flexible Intermediate Representation for RTL☆748Updated last year
- VHDL compiler and simulator☆744Updated last week
- Haskell LLVM JIT Compiler Tutorial☆1,044Updated 5 years ago
- Scala based HDL☆1,859Updated last week
- ☆387Updated 7 years ago
- Liquid Types For Haskell☆1,264Updated this week
- Sail architecture definition language☆793Updated this week
- nextpnr portable FPGA place and route tool☆1,532Updated this week
- Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference☆74Updated 2 years ago
- RISC-V Formal Verification Framework☆611Updated 3 years ago
- Embedded language for high-performance array computations☆940Updated last week
- mor1kx - an OpenRISC 1000 processor IP core☆556Updated 2 months ago
- A Just-In-Time Compiler for Verilog from VMware Research☆447Updated 4 years ago
- Industrial-strength monadic parser combinator library☆957Updated 2 weeks ago
- A monadic parser combinator library☆876Updated 4 months ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,053Updated 4 months ago
- The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen☆1,064Updated 6 years ago
- RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance☆374Updated 2 years ago
- Haskell bindings for LLVM☆526Updated last year
- A small, light weight, RISC CPU soft core☆1,468Updated 2 months ago
- CakeML: A Verified Implementation of ML☆1,087Updated this week
- A stream-based runtime-verification framework for generating hard real-time C code.☆768Updated last month
- A collection of reusable Clash designs/examples☆53Updated last year
- The MyHDL development repository☆1,100Updated 6 months ago
- Chisel: A Modern Hardware Design Language☆4,448Updated this week
- Hardware Description Languages☆1,070Updated 3 months ago
- Haskell Research Compiler☆818Updated 2 years ago