Deploying Haskell to Lattice iCE40 using fully open source toolchain
☆14May 22, 2016Updated 10 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Clash playground/starter kit, using Nix☆37Feb 8, 2019Updated 7 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 8 years ago
- Altera MAX V bitstream documentation -- CLEANUP PENDING☆17May 23, 2020Updated 6 years ago
- Show, plot and compare benchmark results☆16May 14, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Sep 28, 2015Updated 10 years ago
- Ask for solutions.☆19Aug 5, 2019Updated 7 years ago
- Rust bindings to the latest stable release of SFCGAL☆13Jul 15, 2025Updated last year
- Polyphonic additive wheeltone synthesizer core☆18Oct 23, 2019Updated 6 years ago
- Playing with Haskell effect systems☆13Dec 24, 2019Updated 6 years ago
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 3 years ago
- type classes and deriving via for encoding☆22Feb 4, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A template library for fixed-point calculations☆16Oct 11, 2018Updated 7 years ago
- Acorn Atom in minimal configuration for iCE40 HX8K board and ICOboard☆11Apr 30, 2023Updated 3 years ago
- Compile-time checking for partial smart-constructors☆20Jul 13, 2023Updated 3 years ago
- ice40 USB Analyzer☆57Aug 8, 2020Updated 6 years ago
- Firmware for Arduino DRO with 4 Axis, Tachometer, Touch Probe (http://www.rysium.com/rysium.docs/)☆12Feb 6, 2024Updated 2 years ago
- nMigen examples for the ULX3S board☆16Nov 30, 2020Updated 5 years ago
- Generation of random Island maps with Voronoi using C++☆17Nov 8, 2016Updated 9 years ago
- GNURadio implementation of the lazy Viterbi algorithm☆13May 8, 2020Updated 6 years ago
- Simple 6502 system on a ULX3S FPGA board☆19Feb 26, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Rudimentary java reader for the ascii art editor XP Paints file format .xp☆10Mar 12, 2016Updated 10 years ago
- verilog core for ws2812 leds☆35Nov 3, 2021Updated 4 years ago
- A NeoVim plugin for using language server capabilites with backward compatibility in mind☆12Aug 19, 2020Updated 6 years ago
- Some writings about a type system for nix☆19Dec 18, 2017Updated 8 years ago
- Simple and lightweight distributed parallel futures for python!☆14Sep 23, 2019Updated 6 years ago
- Cabal-fmt vim plugin for formatting Cabal package files☆15Jun 30, 2020Updated 6 years ago
- The Spire Programming Language☆59Oct 23, 2014Updated 11 years ago
- FPGA config visualized. demo:☆20Mar 17, 2020Updated 6 years ago
- Delete half (minus ε) of your Haskell code!☆30Jun 27, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- This is an OOT module for GNU Radio integrating verilog simulation feature☆38Sep 23, 2019Updated 6 years ago
- A tiny C language compiler (x86-64) (WIP)☆32May 23, 2026Updated 3 months ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Feb 11, 2026Updated 6 months ago
- Efficient, polymorphic Map Algebra in Haskell.☆38Feb 17, 2020Updated 6 years ago
- This plugin was renamed to hlssink3 and is being merged upstream to GStreamer official Rust plugins https://gitlab.freedesktop.org/gstrea…☆13Oct 10, 2021Updated 4 years ago
- USB Full-Speed core written in migen/LiteX☆43Mar 14, 2019Updated 7 years ago
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 7 years ago