lambda-rennes / space-invaders
☆10Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for space-invaders
- Reasonable Haskell default import☆27Updated 2 years ago
- Like the checkers library, but for hedgehog. Common stuff you'd want to check.☆22Updated 6 years ago
- An implementation of the game Love Letter in the terminal, written in Haskell.☆15Updated 5 years ago
- 🌳 a monadic FRP game library for haskell☆25Updated 4 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆23Updated 8 years ago
- Comment on Haskell documentation.☆13Updated 5 years ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Dual Traversable☆41Updated last year
- Build AWS Lambda's with Haskell☆11Updated 2 years ago
- Browser plugin to automatically redirect Hackage library pages to Stackage pages.☆15Updated 7 years ago
- Safe web routing in haskell☆30Updated last year
- Haskell client library for HashiCorp's Vault tool (via HTTP API)☆10Updated 3 years ago
- Frost☆19Updated 4 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Updated 6 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆14Updated last month
- Folds and sequence algebras☆18Updated last year
- 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
- ☆8Updated 3 years ago
- An mtl-style typeclass and transformer for persistent☆11Updated 6 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆26Updated 3 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆33Updated 4 years ago
- An experiment in functional interface design☆23Updated 8 years ago
- Haskell data types and functions for countries☆26Updated 5 months ago
- Signature inference for Functional Property Discovery in Haskell☆36Updated 7 years ago
- Pure Haskell client for the Mandrill JSON API☆17Updated 3 weeks ago
- Zippers based on lenses and traversals☆38Updated last year
- Kleene algebra, regular expressions☆32Updated last year
- Automation of Haskell package release process.☆31Updated last year
- Simple reflection of expressions☆33Updated 3 years ago