bittide / bittide-hardware
☆17Updated this week
Related projects ⓘ
Alternatives and complementary repositories for bittide-hardware
- A special-purpose processor for pure, non-strict functional languages☆21Updated 3 months ago
- Haskell library for hardware description☆98Updated last month
- ☆27Updated 3 years ago
- Generate interface between Clash and Verilator☆22Updated 7 months ago
- ☆14Updated 10 months ago
- A RiscV processor implementing the RV32I instruction set written in Clash☆50Updated 6 years ago
- a battery-included library for dataflow protocols☆19Updated this week
- ☆23Updated last year
- A Clash playground/starter kit, using Nix☆35Updated 5 years ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆47Updated last year
- A library of components for RISC-V implementations in Haskell CLaSH☆11Updated 7 years ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- Galois RISC-V ISA Formal Tools☆56Updated 10 months ago
- NbE course @ Chalmers☆28Updated last month
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Updated 3 weeks ago
- Where Lions Roam: Haskell & Hardware on VELDT☆20Updated 5 months ago
- ☆16Updated 2 years ago
- Fine-grained lattice primitives for Haskell☆35Updated 3 months ago
- Starfield renderer☆11Updated 5 years ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 5 years ago
- Agda category theory library for denotational design☆48Updated 5 months ago
- ☆11Updated 3 years ago
- Paper and talk☆45Updated last year
- Linear Logic for Constructive Mathematics, in Agda☆17Updated 5 years ago
- Self-contained repository for the eponymous paper☆29Updated 5 years ago
- Bidirectional Parsing. Work in Progress☆30Updated last month
- Session Types with Priority in Linear Haskell☆25Updated 5 months ago
- Safe, programmable, speculative evaluation for Haskell☆30Updated 6 years ago
- APIs for more recursive definitions☆19Updated 3 weeks ago