ivanperez-keera / SpaceInvadersLinks
A Haskell game written in Yampa
☆28Updated last year
Alternatives and similar repositories for SpaceInvaders
Users that are interested in SpaceInvaders are comparing it to the libraries listed below
Sorting:
- Tools for building 3D interactive programs in Haskell☆71Updated this week
- An implementation of Flatris using Haskell and Miso☆32Updated 5 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month
- Grow procedual art☆37Updated 3 months ago
- Zippers based on lenses and traversals☆40Updated last year
- ☆42Updated 6 years ago
- Get your IO right on the first try☆54Updated last week
- Dependently-typed finite maps (partial dependent products)☆66Updated 5 months ago
- GRIN backend for Idris☆50Updated 5 years ago
- Named parameters (keyword arguments) for Haskell☆95Updated 4 months ago
- ♾️ Sized list☆46Updated last year
- Source material for Certainty by Construction☆43Updated last year
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- Deep evaluation of data structures☆41Updated last month
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Updated 4 years ago
- ICFP 2019 preprints/papers☆44Updated 5 years ago
- Haskell binding for Chipmunk, 2D physics engine.☆22Updated 9 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- ☆30Updated 7 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- Issues and proposals related to the HF Stability Working Group☆27Updated 3 weeks ago
- Idris Todo web application example☆42Updated 2 years ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- Generic types and functions for encoding and decoding columns☆44Updated 8 months ago
- a GHC.Generics-based entity component system☆77Updated 5 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆125Updated 6 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆56Updated last year
- Classic games recreated in netwire☆94Updated 8 years ago