Jyothsnasrinivas / eta-android-2048
Android 2048 game using Yampa FRP library in Eta
☆56Updated 6 years ago
Related projects: ⓘ
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- every day i'm truffling☆67Updated 3 years ago
- ☆93Updated 8 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.☆18Updated 6 years ago
- A port of QuickCheck to Idris☆57Updated 6 years ago
- Haskell 98 comonads☆77Updated 11 months ago
- An HTTP library for idris☆40Updated 5 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 4 years ago
- Generic Programming using True Sums of Products☆156Updated 4 months ago
- JavaScript interface that works with GHCJS or GHC☆116Updated 2 months ago
- ☆34Updated 8 years ago
- 🧠 Type-safe memory units☆61Updated 3 years ago
- Haskell: Supercharged anonymous records☆83Updated last year
- Benchmarks to compare Haskell streaming library performance☆102Updated last year
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆66Updated last year
- Want to propose changes to Eta?☆14Updated 6 years ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- Paris Functional Programming Meetup☆27Updated 4 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Js libraries for idris☆48Updated 4 years ago
- tools for writing better type errors☆73Updated last year
- Some useful control operators for looping☆47Updated 4 years ago
- Haskell Webapps on AWS Lambda☆44Updated last year
- Haskell 98 contravariant functors☆73Updated 2 months ago
- A test framework for Idris☆56Updated 5 years ago
- Type-safe error handling☆64Updated 11 months ago
- GRIN backend for Idris☆51Updated 4 years ago
- Stream editing with Haskell Megaparsec parsers☆79Updated 3 months ago
- ♾️ Sized list☆46Updated 4 months ago