ivanperez-keera / SpaceInvadersLinks
A Haskell game written in Yampa
☆27Updated last year
Alternatives and similar repositories for SpaceInvaders
Users that are interested in SpaceInvaders are comparing it to the libraries listed below
Sorting:
- Haskell binding for Chipmunk, 2D physics engine.☆22Updated 9 years ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 3 months ago
- A simple build system for Idris☆22Updated 4 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- An implementation of Flatris using Haskell and Miso☆32Updated 5 years ago
- Zippers based on lenses and traversals☆40Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Wrap up Haskell tools☆15Updated 4 years ago
- Deep evaluation of data structures☆41Updated 8 months ago
- ☆30Updated 4 months ago
- ☆35Updated 8 months ago
- Grow procedual art☆37Updated 2 months ago
- High-performance JSON parser☆26Updated last year
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 2 years ago
- An efficient graph library for Haskell☆39Updated last week
- Generic types and functions for encoding and decoding columns☆44Updated 7 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- A monad for managed values☆50Updated 2 years ago
- Web front UI for interactive Haskell projects☆33Updated 5 years ago
- The Hadrian build system for GHC☆9Updated 6 years ago
- Haskell parsing combinator liibrary that can be fed the input and emit the parsed output incrementally☆23Updated last month
- Invertible parsing for S-expressions☆34Updated 2 months ago
- Atom LSP plugin for HIE (Haskell IDE Engine)☆26Updated 5 years ago
- Clean up the formatting of 'show' output☆21Updated 3 weeks ago
- MixML prototype interpreter☆27Updated 5 years ago
- haskell posix bindings☆18Updated last week
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Tasty integration for the Hedgehog property testing library☆38Updated 6 months ago