rahulmutt / eta-2048Links
2048 game clone using Yampa FRP library
☆29Updated 7 years ago
Alternatives and similar repositories for eta-2048
Users that are interested in eta-2048 are comparing it to the libraries listed below
Sorting:
- Examples of Eta in action.☆36Updated 6 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- Frege Translation of "Learn You a Haskell for Great Good!."☆51Updated 9 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- Simple, composable, and easy-to-use stream I/O for Haskell☆101Updated 4 months ago
- 2048 in Idris☆123Updated 7 years ago
- A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.☆18Updated 7 years ago
- ☆92Updated 9 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- Java parser and printer for haskell☆67Updated 4 years ago
- Haskell implementations of various ML algorithms.☆57Updated 11 years ago
- Haskell Servant Cookbook☆84Updated 3 years ago
- A port of QuickCheck to Idris☆60Updated 7 years ago
- ☆33Updated 9 years ago
- Todobackend implementations in Haskell using various frameworks☆40Updated 2 years ago
- Declare and access tuple fields with labels☆59Updated 6 years ago
- Kind-safe framework for type-safe APIs☆78Updated 6 years ago
- A purely-functional, strongly-typed functional mocking library for Free programs☆49Updated 9 years ago
- Slides & demos for talks I do☆58Updated 4 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- A minimal example for a REST-API-server written with servant and a test-suite using servant-client☆58Updated 4 years ago
- ☆51Updated 9 years ago
- Dive into GHC☆82Updated 8 years ago
- A Idris Mode for Atom.io☆101Updated last year
- The contents of ocharles.org.uk/blog☆66Updated 3 years ago
- Fast binary serialization in Haskell☆110Updated 7 months ago
- Retry combinators for monadic actions that may fail☆114Updated 2 years ago
- Parsers for various configuration files written in Idris.☆20Updated 7 years ago
- Want to propose changes to Eta?☆14Updated 7 years ago
- A functional web framework☆34Updated 3 years ago