gergoerdi / clash-spaceinvaders
Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH
☆47Updated last year
Related projects: ⓘ
- Haskell library for semigroup actions and torsors☆57Updated 7 months ago
- Continuously varying values, made easy :)☆40Updated 4 years ago
- A talk on type-generic FFT in Haskell☆45Updated 2 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- UI experiments for coda☆65Updated 2 years ago
- ☆45Updated 2 years ago
- Compact regions library for Haskell☆82Updated 2 months ago
- Zippers based on lenses and traversals☆38Updated last year
- An OS written in Idris (eventually...)☆17Updated 9 years ago
- Unpacked containers using backpack☆52Updated 4 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆71Updated 4 years ago
- JHC Haskell compiler split into reusable components☆16Updated 2 years ago
- Resource-AWare Feldspar☆36Updated 2 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 3 years ago
- Map lazy functional language constructs to LLVM IR☆50Updated 5 years ago
- A simple Idris program to blink the LED on an Arduino☆54Updated 3 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆52Updated last year
- Game NetCode Solved☆23Updated 3 years ago
- Fork of official GHC repository.☆44Updated 7 months ago
- Inline, type safe X86-64 assembly programming in Agda☆66Updated 5 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Invertible parsing for S-expressions☆33Updated this week
- ☆33Updated this week
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 3 months ago
- Alternative Core language for GHC plugins☆39Updated 8 years ago
- JHC Haskell compiler split into reusable components☆58Updated 5 years ago
- Interpreter for GHC Haskell☆22Updated 4 years ago
- ALGT 2.0☆30Updated 4 years ago
- Kleene algebra, regular expressions☆32Updated 10 months ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago