ivanperez-keera / SpaceInvaders
A Haskell game written in Yampa
☆26Updated 10 months ago
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
- Haskell binding for Chipmunk, 2D physics engine.☆22Updated 9 years ago
- Grow procedual art☆37Updated 7 months ago
- Generic types and functions for encoding and decoding columns☆43Updated 2 months ago
- ☆40Updated 5 years ago
- Zippers based on lenses and traversals☆38Updated last year
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month
- Invertible parsing for S-expressions☆33Updated 4 months ago
- Haskell library for semigroup actions and torsors☆60Updated 11 months ago
- Focused domain model declaration toolkit for Haskell☆47Updated last year
- GRIN backend for Idris☆51Updated 4 years ago
- Tools for building 3D interactive programs in Haskell☆68Updated last week
- A simple build system for Idris☆22Updated 3 years ago
- Dependently-typed finite maps (partial dependent products)☆65Updated 8 months ago
- Safe web routing in haskell☆30Updated last year
- Dynamic network FRP with events and continuous values☆52Updated 4 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- A monad for managed values☆50Updated last year
- An efficient graph library for Haskell☆39Updated 5 months ago
- Fixed length vector for haskell☆21Updated 3 weeks ago
- Quickcheck Properties for common typeclasses☆35Updated 9 months ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- Core modules for a blazing fast markup combinator library☆22Updated 6 months ago
- Type-safe error handling☆64Updated last year
- ♾️ Sized list☆46Updated 8 months ago
- Support for file uploads in multipart/form-data for servant☆40Updated 8 months ago
- ☆39Updated 4 years ago
- SDL bindings package for idris☆46Updated 4 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago