gergoerdi / clash-spaceinvadersView external linksLinks
Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH
☆50Dec 4, 2022Updated 3 years ago
Alternatives and similar repositories for clash-spaceinvaders
Users that are interested in clash-spaceinvaders are comparing it to the libraries listed below
Sorting:
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- nominal sets in haskell☆19Nov 18, 2018Updated 7 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Lens interface for your filesystem☆22Dec 21, 2020Updated 5 years ago
- a battery-included library for dataflow protocols☆24Updated this week
- Clash implementation of the Compucolor II home computer☆32Nov 6, 2021Updated 4 years ago
- Extended Kalman filtering in Haskell☆23Oct 31, 2018Updated 7 years ago
- An implementation of the game Love Letter in the terminal, written in Haskell.☆16May 27, 2019Updated 6 years ago
- Handling errors which occur deep inside lens-chains☆17Jul 4, 2019Updated 6 years ago
- A library and case-study for linear, intrinsically-typed interpreters in Agda☆36Dec 21, 2019Updated 6 years ago
- probabilistic programming in Haskell☆17Aug 26, 2016Updated 9 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 6 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- Split integers into digits, blazingly fast☆14Dec 28, 2025Updated last month
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- A Clash playground/starter kit, using Nix☆36Feb 8, 2019Updated 7 years ago
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆19Mar 17, 2019Updated 6 years ago
- type classes and deriving via for encoding☆22Feb 4, 2020Updated 6 years ago
- Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError☆15Jul 19, 2025Updated 6 months ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- 🧠 Type-safe memory units☆61Nov 6, 2020Updated 5 years ago
- Reading, writing and manipulating ".tar" archive files.☆42Oct 1, 2025Updated 4 months ago
- Efficient Haskell Arrays featuring Parallel computation☆408Jul 8, 2025Updated 7 months ago
- Inline, type safe X86-64 assembly programming in Agda☆69Jan 3, 2019Updated 7 years ago
- Intel 8080 CPU core: software emulator and CLaSH hardware description☆28Dec 4, 2022Updated 3 years ago
- Visualise eventlog events as a static webpage☆72Jun 3, 2025Updated 8 months ago
- Library of simd functions☆19Jul 24, 2025Updated 6 months ago
- Script to download all of Hackage☆16Jul 14, 2019Updated 6 years ago
- Haskell STUN (Session Traversal Utilities for NAT) implementation☆14Dec 19, 2021Updated 4 years ago
- A well-typed Directed Acyclic Graph in Haskell☆13Jan 25, 2015Updated 11 years ago
- A dependently typed actor framework for haskell.☆12Apr 28, 2019Updated 6 years ago
- Statistical data visualization☆11Nov 26, 2016Updated 9 years ago
- A hand-written streaming byte parser for OpenStreetMap Protobuf data.☆12Dec 8, 2021Updated 4 years ago
- Haskell bindings to ArrayFire☆60Dec 14, 2024Updated last year
- a modern library for typed path manipulation in Haskell☆36Jul 24, 2025Updated 6 months ago
- Diffing of (expression) trees.☆79Jul 9, 2025Updated 7 months ago