standardsemiconductor / VELDT-getting-started
Where Lions Roam: Haskell & Hardware on VELDT
☆20Updated 3 months ago
Related projects: ⓘ
- ☆11Updated 2 years ago
- A Clash playground/starter kit, using Nix☆33Updated 5 years ago
- ☆14Updated 8 months ago
- ☆17Updated this week
- ☆25Updated 3 years ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆47Updated last year
- A plugin for circuit notation☆11Updated last month
- Generate interface between Clash and Verilator☆20Updated 5 months ago
- ☆27Updated 3 years ago
- A library for parsing Gerbers☆20Updated 7 months ago
- Starfield renderer☆11Updated 5 years ago
- ☆8Updated 5 years ago
- Pipe the GHC eventlog stream to a UNIX domain socket☆15Updated last year
- type classes and deriving via for encoding☆22Updated 4 years ago
- ☆45Updated 2 years ago
- generate contextually sensible fuzz tests for servant apps☆26Updated 7 months ago
- Helpers which allow safe partial pattern matching in lambdas☆31Updated 3 years ago
- Fine-grained lattice primitives for Haskell☆35Updated last month
- A special-purpose processor for pure, non-strict functional languages☆18Updated last month
- Haskell library for semigroup actions and torsors☆57Updated 7 months ago
- rewrite rules for type-level equalities☆61Updated 4 months ago
- a battery-included library for dataflow protocols☆18Updated this week
- experiments with SQL & Haskell☆13Updated 2 years ago
- Plucky errors and exceptions☆19Updated 3 years ago
- reverse dependency build matrix generator☆33Updated 4 years ago
- Machinery for throwing and catching exceptions with some annotation.☆32Updated 2 months ago
- Extensible type-safe unions for Haskell☆31Updated last week
- Symbol manipulation☆35Updated last year
- ☆25Updated 9 months ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago