standardsemiconductor / VELDT-getting-startedLinks
Where Lions Roam: Haskell & Hardware on VELDT
☆22Updated 2 months ago
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:
- ☆11Updated 3 years ago
- A Clash playground/starter kit, using Nix☆36Updated 6 years ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆48Updated 2 years ago
- A library for parsing Gerbers☆20Updated 3 months ago
- ☆22Updated this week
- Projects to get started with Clash☆30Updated last month
- ☆17Updated last year
- ☆30Updated 4 years ago
- ☆25Updated 4 years ago
- Generate interface between Clash and Verilator☆22Updated last year
- Interpret Haskell programs into any cartesian closed category.☆66Updated 2 weeks ago
- A RiscV processor implementing the RV32I instruction set written in Clash☆53Updated 7 years ago
- Library and macros to simplify writing Haskell FFI code☆40Updated 2 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
- Resource-AWare Feldspar☆38Updated 3 years ago
- Type-safe effectful state machines in Haskell☆96Updated 5 years ago
- UI experiments for coda☆66Updated 4 years ago
- Haskell to C compiler via Categorifier☆38Updated last year
- Starfield renderer☆11Updated 6 years ago
- Library to access the GPIO pins on a Raspberry Pi from Haskell.☆44Updated last year
- A talk on type-generic FFT in Haskell☆46Updated 3 years ago
- Automatically trace all (showable) binds in do expressions☆84Updated 7 years ago
- Safe, programmable, speculative evaluation for Haskell☆29Updated 6 years ago
- Fine-grained lattice primitives for Haskell☆37Updated 3 months ago
- A simple interface for generating persistent data and linking its dependencies☆47Updated 2 weeks ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 9 years ago
- A well-typed Directed Acyclic Graph in Haskell☆14Updated 10 years ago
- Tasty meal of Dhall☆67Updated 2 years ago
- Haskell bindings to ArrayFire☆60Updated 9 months ago
- Beseder: make impossible state transitions impossible☆31Updated 5 years ago