ivanperez-keera / SpaceInvaders
A Haskell game written in Yampa
☆26Updated last year
Alternatives and similar repositories for SpaceInvaders:
Users that are interested in SpaceInvaders are comparing it to the libraries listed below
- An implementation of Flatris using Haskell and Miso☆32Updated 5 years ago
- Grow procedual art☆37Updated 8 months ago
- Dependently-typed finite maps (partial dependent products)☆65Updated last month
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- A simple build system for Idris☆22Updated 3 years ago
- Tools for building 3D interactive programs in Haskell☆70Updated this week
- Haskell library for semigroup actions and torsors☆60Updated last month
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- Haskell binding for Chipmunk, 2D physics engine.☆22Updated 9 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Named parameters (keyword arguments) for Haskell☆94Updated 4 months ago
- ☆40Updated 5 years ago
- being a thing I build on a Saturday☆28Updated 7 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- GRIN backend for Idris☆51Updated 4 years ago
- Fine-grained lattice primitives for Haskell☆36Updated last month
- Where my everyday research happens☆52Updated this week
- Simple reflection of expressions☆33Updated 3 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 2 years ago
- Safe web routing in haskell☆30Updated last year
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last week
- Invertible parsing for S-expressions☆34Updated 6 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- A monad for managed values☆51Updated 2 years ago
- ☆44Updated last week
- Dual Traversable☆42Updated last year
- ♾️ Sized list☆46Updated 10 months ago
- Deep evaluation of data structures☆41Updated 6 months ago