Deploying Haskell to Lattice iCE40 using fully open source toolchain
☆14May 22, 2016Updated 9 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
Sorting:
- A Clash playground/starter kit, using Nix☆36Feb 8, 2019Updated 7 years ago
- Altera MAX V bitstream documentation -- CLEANUP PENDING☆17May 23, 2020Updated 5 years ago
- HiLoTOF -- Hardware-in-the-Loop Test framework for Open FPGAs☆13Feb 9, 2019Updated 7 years ago
- FPGA Portable Music Generator☆11Aug 1, 2018Updated 7 years ago
- Acorn Atom in minimal configuration for iCE40 HX8K board and ICOboard☆11Apr 30, 2023Updated 2 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- nMigen examples for the ULX3S board☆16Nov 30, 2020Updated 5 years ago
- Show, plot and compare benchmark results☆16Oct 28, 2025Updated 4 months ago
- Polyphonic additive wheeltone synthesizer core☆18Oct 23, 2019Updated 6 years ago
- Simple 6502 system on a ULX3S FPGA board☆18Feb 26, 2020Updated 6 years ago
- Playing with Haskell effect systems☆13Dec 24, 2019Updated 6 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Sep 28, 2015Updated 10 years ago
- Ask for solutions.☆19Aug 5, 2019Updated 6 years ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 2 years ago
- Compile-time checking for partial smart-constructors☆20Jul 13, 2023Updated 2 years ago
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- type classes and deriving via for encoding☆22Feb 4, 2020Updated 6 years ago
- Some writings about a type system for nix☆19Dec 18, 2017Updated 8 years ago
- RISC-V XBitmanip Extension☆25Mar 22, 2019Updated 6 years ago
- ice40 USB Analyzer☆57Aug 8, 2020Updated 5 years ago
- A Rust embedded HAL crate for LiteX cores☆31Jan 3, 2026Updated 2 months ago
- A nano "theorem prover".☆63Feb 15, 2019Updated 7 years ago
- The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…☆47Oct 12, 2021Updated 4 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Feb 11, 2026Updated 3 weeks ago
- spmd-on-simd stuff☆27Aug 5, 2017Updated 8 years ago
- Delete half (minus ε) of your Haskell code!☆30Feb 13, 2026Updated 3 weeks ago
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 6 years ago
- My pergola FPGA projects☆30Jun 23, 2021Updated 4 years ago
- Efficient, polymorphic Map Algebra in Haskell.☆38Feb 17, 2020Updated 6 years ago
- oleg modules☆32Feb 20, 2013Updated 13 years ago
- This is an OOT module for GNU Radio integrating verilog simulation feature☆38Sep 23, 2019Updated 6 years ago
- verilog core for ws2812 leds☆35Nov 3, 2021Updated 4 years ago
- A extremely size-optimized RV32I soft processor for FPGA.☆27Jun 19, 2018Updated 7 years ago
- Omit fields for instance deriving☆37Jun 5, 2020Updated 5 years ago
- math and bitcoin tools in gnu bc and bash☆29Jun 8, 2018Updated 7 years ago
- SpinalHDL code to drive a 64*64 pixel HUB75E module with an ICE40☆33May 9, 2020Updated 5 years ago
- FPGA250 aboard the eFabless Caravel☆33Dec 22, 2020Updated 5 years ago
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- 💎 Virtual crypto exchange for testing purposes. API is compatible with major crypto exchanges.☆12Feb 14, 2019Updated 7 years ago