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
- Zippers based on lenses and traversals☆39Updated last year
- Grow procedual art☆37Updated 3 weeks ago
- Dependently-typed finite maps (partial dependent products)☆65Updated 2 months ago
- Safe web routing in haskell☆30Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Haskell binding for Chipmunk, 2D physics engine.☆22Updated 9 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Invertible parsing for S-expressions☆34Updated last week
- An efficient graph library for Haskell☆39Updated 8 months ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 2 years ago
- Morte IDE☆29Updated 2 weeks ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- A monad for managed values☆50Updated 2 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Automatically trace all (showable) binds in do expressions☆84Updated 6 years ago
- ☆30Updated 6 years ago
- Deep evaluation of data structures☆41Updated 7 months ago
- ☆41Updated 5 years ago
- ☆10Updated 2 weeks ago
- DEPRECATED: Use bevel instead.☆25Updated 4 years ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- Strategy game in Haskell (PRs: )☆51Updated 5 years ago
- Generic types and functions for encoding and decoding columns☆43Updated 5 months ago
- Template Haskell Workshop☆52Updated 3 years ago
- ☆26Updated 3 months ago