adamwalker / starty
Arty FPGA board starter project
☆10Updated 2 years ago
Alternatives and similar repositories for starty:
Users that are interested in starty are comparing it to the libraries listed below
- Library code for upcoming RetroClash book☆9Updated 9 months ago
- ☆11Updated 3 years ago
- A Clash playground/starter kit, using Nix☆35Updated 5 years ago
- A plugin for circuit notation☆11Updated last month
- ☆27Updated 3 years ago
- CLaSH prelude library containing datatypes and functions for circuit design☆31Updated 6 years ago
- Intel 8080 CPU core: software emulator and CLaSH hardware description☆25Updated 2 years ago
- Haskell library for hardware description☆101Updated 2 months ago
- A special-purpose processor for pure, non-strict functional languages☆26Updated 3 weeks ago
- Projects to get started with Clash☆26Updated 3 weeks ago
- A RiscV processor implementing the RV32I instruction set written in Clash☆52Updated 6 years ago
- ☆25Updated 4 years ago
- Where Lions Roam: Haskell & Hardware on VELDT☆20Updated 8 months ago
- ☆15Updated last year
- Turn Haskell expressions into pointfree style in your browser with WASM☆13Updated last month
- Generate interface between Clash and Verilator☆22Updated 9 months ago
- View 3D models in the terminal☆10Updated 5 years ago
- Tic Tac Toe, formalized in Agda☆23Updated 3 years ago
- ☆33Updated 9 months ago
- A library of components for RISC-V implementations in Haskell CLaSH☆11Updated 7 years ago
- ☆19Updated this week
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆48Updated 2 years ago
- Pipe the GHC eventlog stream to a UNIX domain socket☆15Updated last year
- Starfield renderer☆11Updated 5 years ago
- Portable interprocess communication (IPC) in Haskell☆13Updated 7 months ago
- Generic types and functions for encoding and decoding columns☆43Updated 2 months ago
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆25Updated 2 years ago
- Calculate Haskell dependency ranges from multiple build plans☆31Updated 8 months ago
- a battery-included library for dataflow protocols☆20Updated this week
- Servant based API and server for token based authorisation☆14Updated 5 years ago