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:
- Grow procedual art☆37Updated 3 months ago
- An implementation of Flatris using Haskell and Miso☆32Updated 5 years ago
- ☆28Updated 7 years ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- Invertible parsing for S-expressions☆34Updated 2 months ago
- A simple build system for Idris☆22Updated 4 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 4 months ago
- Tools for building 3D interactive programs in Haskell☆71Updated 3 weeks ago
- Haskell library for semigroup actions and torsors☆62Updated 4 months ago
- Zippers based on lenses and traversals☆40Updated last year
- ☆30Updated 7 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- Focused domain model declaration toolkit for Haskell☆47Updated last year
- "operating system" based on the calculus of constructions☆18Updated 3 years ago
- An efficient graph library for Haskell☆39Updated last month
- 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
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- Automatically trace all (showable) binds in do expressions☆84Updated 7 years ago
- Strategy game in Haskell (PRs: )☆51Updated 5 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated 3 weeks ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Fine-grained lattice primitives for Haskell☆37Updated last month
- Provides a type-safe way of working with permutations in Idris☆36Updated 3 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- DEPRECATED: Use bevel instead.☆25Updated 4 years ago
- Issues and proposals related to the HF Stability Working Group☆27Updated this week