standardsemiconductor / VELDT-getting-startedLinks
Where Lions Roam: Haskell & Hardware on VELDT
☆22Updated last month
Alternatives and similar repositories for VELDT-getting-started
Users that are interested in VELDT-getting-started are comparing it to the libraries listed below
Sorting:
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆50Updated 3 years ago
- ☆30Updated 4 years ago
- ☆11Updated 4 years ago
- ☆23Updated this week
- A library for parsing Gerbers☆20Updated 7 months ago
- A Clash playground/starter kit, using Nix☆36Updated 6 years ago
- The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…☆47Updated 4 years ago
- Projects to get started with Clash☆32Updated last week
- Library and macros to simplify writing Haskell FFI code☆40Updated 3 years ago
- ☆17Updated 2 years ago
- Resource-AWare Feldspar☆38Updated 3 years ago
- Library to access the GPIO pins on a Raspberry Pi from Haskell.☆44Updated last year
- Generate interface between Clash and Verilator☆23Updated 3 weeks ago
- Interpret Haskell programs into any cartesian closed category.☆68Updated last month
- Fine-grained lattice primitives for Haskell☆37Updated 6 months ago
- Automatically trace all (showable) binds in do expressions☆84Updated 7 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 7 years ago
- UI experiments for coda☆66Updated 4 years ago
- Haskell library for semigroup actions and torsors☆64Updated 11 months ago
- A simple interface for generating persistent data and linking its dependencies☆48Updated last month
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 3 months ago
- Deep embedding of imperative programs with code generation☆23Updated 3 years ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 5 years ago
- A categorical framework for circuit construction☆31Updated 9 years ago
- A well-typed Directed Acyclic Graph in Haskell☆14Updated 10 years ago
- Efficient union and equivalence testing of sets.☆31Updated 6 years ago
- Haskell bindings to ArrayFire☆60Updated last year
- A plugin for circuit notation☆12Updated 5 months ago
- Zippers based on lenses and traversals☆41Updated 2 years ago
- Lens interface for your filesystem☆22Updated 5 years ago