lambda-rennes / space-invadersLinks
☆10Updated 5 years ago
Alternatives and similar repositories for space-invaders
Users that are interested in space-invaders are comparing it to the libraries listed below
Sorting:
- Recursion schemes for Idris☆65Updated 6 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Delete half (minus ε) of your Haskell code!☆30Updated this week
- Isomorphic Reasoning: Counting with Types☆37Updated 5 years ago
- Sonic the Hedgehog 2 in Haskell☆67Updated 3 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
- ☆28Updated 7 years ago
- ☆42Updated 6 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- 🌳 a monadic FRP game library for haskell☆25Updated 5 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- Working through the Thinking with Types book in Haskell☆35Updated 5 years ago
- Like the checkers library, but for hedgehog. Common stuff you'd want to check.☆22Updated 6 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- ☆23Updated 7 years ago
- being the materials for CS410 Advanced Functional Programming in the 2015/16 session☆40Updated 9 years ago
- Provides free functors that are adjoint to functors that forget class constraints.☆29Updated 10 months ago
- ☆40Updated 7 years ago
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 3 years ago
- GHC patched with the -fcompact-holes flag☆11Updated 6 years ago
- Provides a type-safe way of working with permutations in Idris☆36Updated 3 years ago
- Dual Traversable☆42Updated 2 years ago
- Church-encoding of the Freer monad☆28Updated 8 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 6 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 7 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- 🍰🍴Template project based on the cake-slayer architecture library☆19Updated 2 years ago
- A recursion scheme library for Idris.☆25Updated 2 months ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Some useful control operators for looping☆47Updated 5 years ago