standardsemiconductor / VELDT-getting-startedLinks
Where Lions Roam: Haskell & Hardware on VELDT
☆22Updated 3 weeks 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:
- ☆30Updated 4 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
- ☆11Updated 3 years ago
- A library for parsing Gerbers☆20Updated 2 months ago
- Projects to get started with Clash☆30Updated this week
- ☆17Updated last year
- Haskell to C compiler via Categorifier☆35Updated last year
- Interpret Haskell programs into any cartesian closed category.☆63Updated 3 weeks ago
- The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…☆47Updated 3 years ago
- Resource-AWare Feldspar☆38Updated 3 years ago
- Generate interface between Clash and Verilator☆22Updated last year
- Library and macros to simplify writing Haskell FFI code☆40Updated 2 years ago
- Implementation of named parameters for `postgresql-simple` library☆38Updated last week
- A RiscV processor implementing the RV32I instruction set written in Clash☆53Updated 7 years ago
- Learning about Haskell with Variational Autoencoders☆19Updated 5 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- a battery-included library for dataflow protocols☆22Updated this week
- FRP library☆63Updated 7 years ago
- ☆21Updated this week
- C++ foreign export implementations for the standard library☆22Updated 6 years ago
- Easy bidirectional serialization in Haskell☆49Updated 6 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Updated last year
- A plugin for circuit notation☆12Updated 3 weeks ago
- Haskell bindings to ArrayFire☆60Updated 8 months ago
- Haskell embedding of PlusCal☆61Updated 3 years ago
- Automatically trace all (showable) binds in do expressions☆84Updated 7 years ago
- Get all your structure and rip it apart.☆32Updated 6 years ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago