mgajda / clash-yosys-demo
Deploying Haskell to Lattice iCE40 using fully open source toolchain
☆13Updated 8 years ago
Alternatives and similar repositories for clash-yosys-demo:
Users that are interested in clash-yosys-demo are comparing it to the libraries listed below
- Kansas Lava☆46Updated 5 years ago
- A Clash playground/starter kit, using Nix☆35Updated 5 years ago
- Intel 8080 CPU core: software emulator and CLaSH hardware description☆25Updated 2 years ago
- A Verilog parser for Haskell.☆34Updated 3 years ago
- ☆11Updated 3 years ago
- A RiscV processor implementing the RV32I instruction set written in Clash☆51Updated 6 years ago
- ☆27Updated 3 years ago
- Generate interface between Clash and Verilator☆22Updated 8 months ago
- ☆15Updated last year
- (DEPRECATED) Front-end of Copilot defining the user language.☆15Updated 3 years ago
- Concurrency features for the Haskell machines package☆17Updated 2 years ago
- A library for parsing Gerbers☆20Updated 11 months ago
- Austin's supercompiler work☆21Updated 5 years ago
- Roundtrip allows the definition of bidirectional (de-)serialization specifications☆16Updated 3 months ago
- Simple Amazon IoT compatible client☆13Updated 5 years ago
- On going experiments with Clash☆22Updated 9 years ago
- Haskell library for hardware description☆101Updated last month
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- FFT library for Haskell based on the embedded array language Accelerate☆10Updated 4 years ago
- Generalized Convolution and Efficient Language Recognition☆17Updated 5 years ago
- Smooth curves via several interpolation modes☆10Updated 4 years ago
- Extended Kalman filtering in Haskell☆23Updated 6 years ago
- ☆23Updated 3 years ago
- Clifford algebra for Haskell! :D☆15Updated 10 years ago
- 32-bit RISC-V Emulator☆23Updated 5 years ago
- Haskell streaming library optimized for low CPU and GC overhead☆16Updated 6 years ago
- A plugin for circuit notation☆11Updated last month
- sliding fast fourier transform using haskell streaming☆13Updated 5 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 6 years ago