gergoerdi / clash-spaceinvaders
Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH
☆47Updated 2 years ago
Alternatives and similar repositories for clash-spaceinvaders:
Users that are interested in clash-spaceinvaders are comparing it to the libraries listed below
- rewrite rules for type-level equalities☆62Updated 9 months ago
- ☆45Updated 3 years ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- Zippers based on lenses and traversals☆38Updated last year
- A monad for managed values☆50Updated 2 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- Easy bidirectional serialization in Haskell☆50Updated 6 years ago
- Fine-grained lattice primitives for Haskell☆35Updated last week
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Unpacked containers using backpack☆52Updated 4 years ago
- Kleene algebra, regular expressions☆32Updated last year
- A usable type system for call by push-value☆30Updated 5 years ago
- Haskell library for semigroup actions and torsors☆60Updated last week
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- A GHC plugin and library for analysing GHC Core☆54Updated last week
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Updated last year
- ☆25Updated 4 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Interpreter for GHC Haskell☆22Updated 5 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆32Updated 2 years ago
- JHC Haskell compiler split into reusable components☆57Updated 6 years ago
- Implementation of named parameters for `postgresql-simple` library☆38Updated 4 months ago
- Hash consing for arbitrary Haskell data types☆25Updated 2 months ago
- Lens interface for your filesystem☆22Updated 4 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆71Updated 5 years ago
- MPFR bindings for Haskell☆34Updated last year
- ☆40Updated 4 years ago
- Game NetCode Solved☆24Updated 3 years ago
- Beseder: make impossible state transitions impossible☆32Updated 4 years ago