Jyothsnasrinivas / eta-android-2048Links
Android 2048 game using Yampa FRP library in Eta
☆58Updated 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:
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- ☆92Updated 9 years ago
- every day i'm truffling☆70Updated 4 years ago
- Extensible Effects: An Alternative to Monad Transformers☆173Updated 4 years ago
- A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).☆64Updated 4 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- Incremental lambda calculus☆81Updated 6 years ago
- ☆33Updated 9 years ago
- A test framework for Idris☆54Updated 6 years ago
- A PureScript interpreter in Haskell☆121Updated 3 years ago
- ☆80Updated 6 years ago
- Type-safe effectful state machines in Haskell☆95Updated 4 years ago
- A Haskell library for open records and variants using closed type families and type literals☆112Updated 3 years ago
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- Notes on space leaks☆102Updated 4 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
- Sonic the Hedgehog 2 in Haskell☆67Updated 3 years ago
- Kotlin-backend for PureScript☆80Updated 3 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆94Updated last year
- Js libraries for idris☆49Updated 5 years ago
- Benchmarks to compare Haskell streaming library performance☆104Updated 8 months ago
- Want to propose changes to Eta?☆14Updated 7 years ago
- Explore haskell and functional programming concepts☆20Updated 6 years ago
- Typed filepath☆125Updated 6 months ago
- JavaScript interface that works with GHCJS or GHC☆124Updated last month
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 3 years ago
- Refinement types with static checking☆185Updated 6 months ago
- Check properties on standard classes and data structures☆79Updated last year
- Generic Programming using True Sums of Products☆163Updated 6 months ago