ivanperez-keera / SpaceInvaders
A Haskell game written in Yampa
☆26Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for SpaceInvaders
- Haskell binding for Chipmunk, 2D physics engine.☆22Updated 9 years ago
- An attempt at a game in Haskell in the form of a short demo. It uses an ECS library called Apecs along with a wrapper for SDL2.☆14Updated 4 years ago
- Grow procedual art☆37Updated 4 months ago
- An implementation of Flatris using Haskell and Miso☆32Updated 4 years ago
- Zippers based on lenses and traversals☆38Updated last year
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- ☆40Updated 5 years ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated 11 months 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
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- Generic types and functions for encoding and decoding columns☆43Updated this week
- Compile Dhall expressions to Cabal files☆100Updated last year
- ☆28Updated 6 years ago
- Deep evaluation of data structures☆41Updated 2 months ago
- Safe web routing in haskell☆30Updated last year
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- Wrap up Haskell tools☆15Updated 3 years ago
- Type-safe error handling☆64Updated last year
- ☆39Updated 4 years ago
- Where my everyday research happens☆53Updated 2 months ago
- Haskell Join-calculus DSL☆22Updated 5 years ago
- Simple reflection of expressions☆33Updated 3 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated 3 weeks ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- GRIN backend for Idris☆51Updated 4 years ago