rahulmutt / eta-2048Links
2048 game clone using Yampa FRP library
☆29Updated 6 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:
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- Frege Translation of "Learn You a Haskell for Great Good!."☆51Updated 9 years ago
- Examples of Eta in action.☆36Updated 6 years ago
- Recursion schemes for Idris☆65Updated 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
- Parsers for various configuration files written in Idris.☆20Updated 7 years ago
- Example of using the servant web framework in Eta☆16Updated 7 years ago
- Simple example of using JDBC from Eta language☆10Updated 8 years ago
- A port of QuickCheck to Idris☆59Updated 7 years ago
- Port of Scala/Haskell Refined library to Idris☆17Updated 4 years ago
- 2048 in Idris☆122Updated 7 years ago
- Want to propose changes to Eta?☆14Updated 7 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- the EitherT monad transformer☆55Updated last week
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- Lenses and traversals for xml-conduit☆50Updated last year
- Some useful control operators for looping☆47Updated 5 years ago
- Tools for programming with ConstraintKinds in GHC☆72Updated 8 months ago
- it's a starcraft clone but with a dope typesystem☆49Updated 5 years ago
- Zippers based on lenses and traversals☆40Updated last year
- ☆33Updated 9 years ago
- Simple comparative benchmarks for CSV parsing libraries☆17Updated 6 years ago
- Fast binary serialization in Haskell☆110Updated 6 months ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated last month
- Haskell 98 Profunctors☆70Updated last week
- A small profunctor library for idris☆17Updated 2 years ago
- Haskell type introduction illustrated☆17Updated 8 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆31Updated 11 months ago
- slides for presentations I have given☆21Updated 5 years ago