Jyothsnasrinivas / eta-android-2048Links
Android 2048 game using Yampa FRP library in Eta
☆57Updated 7 years ago
Alternatives and similar repositories for eta-android-2048
Users that are interested in eta-android-2048 are comparing it to the libraries listed below
Sorting:
- every day i'm truffling☆70Updated 4 years ago
- ☆92Updated 9 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- Haskell 98 comonads☆78Updated 3 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- An HTTP library for idris☆39Updated 6 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
- ☆33Updated 9 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago
- Haskell Webapps on AWS Lambda☆43Updated 2 years ago
- 🧠 Type-safe memory units☆61Updated 4 years ago
- A test framework for Idris☆54Updated 6 years ago
- JavaScript interface that works with GHCJS or GHC☆122Updated last week
- Benchmarks to compare Haskell streaming library performance☆103Updated 6 months ago
- Type-safe error handling☆64Updated last year
- Explore haskell and functional programming concepts☆20Updated 6 years ago
- A port of QuickCheck to Idris☆57Updated 7 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- Declare and access tuple fields with labels☆58Updated 6 years ago
- Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…☆60Updated 9 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆118Updated this week
- Incremental lambda calculus☆81Updated 5 years ago
- A PureScript interpreter in Haskell☆120Updated 3 years ago
- Stream editing with Haskell Megaparsec parsers☆79Updated last year
- The Haskell Refactoring Tool☆136Updated 5 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 3 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- ♾️ Sized list☆46Updated last year