sfischer13 / awesome-etaLinks
Useful resources for the Eta programming language
☆62Updated 3 years ago
Alternatives and similar repositories for awesome-eta
Users that are interested in awesome-eta are comparing it to the libraries listed below
Sorting:
- Useful resources for the Frege programming language☆30Updated 3 years ago
- Working through Type-Driven Development with Idris☆24Updated 8 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- An HTTP library for idris☆39Updated 6 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Eta bindings to Kafka☆15Updated 7 years ago
- Sonic the Hedgehog 2 in Haskell☆67Updated 3 years ago
- Explore haskell and functional programming concepts☆20Updated 6 years ago
- ♾️ Sized list☆46Updated last year
- Android 2048 game using Yampa FRP library in Eta☆57Updated 7 years ago
- A port of the Elm Architecture Tutorial to PureScript☆56Updated 7 years ago
- Advent of Code 2017☆41Updated 6 years ago
- 2048 game clone using Yampa FRP library☆29Updated 6 years ago
- Emacs integration for PureScript's psc-ide tool.☆133Updated last month
- This is an umbrella development repository for Cloud Haskell☆71Updated 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
- Examples of Eta in action.☆36Updated 6 years ago
- Moot is a CFP and event management system!☆66Updated 6 years ago
- Simple example of using JDBC from Eta language☆10Updated 8 years ago
- Transducers for Idris: a library for composable algorithmic transformation.☆32Updated 7 years ago
- Course for learning how to apply property-based state-machine testing☆62Updated 5 years ago
- Retry combinators for monadic actions that may fail☆114Updated 2 years ago
- A dependency manager for Haskell☆97Updated 3 years ago
- A typed, persistent store for values of arbitrary types☆60Updated 3 months ago
- 2048 in Idris☆122Updated 7 years ago
- A port of QuickCheck to Idris☆59Updated 7 years ago
- Haskell Webapps on AWS Lambda☆43Updated 2 years ago
- Components as records of functions for Haskell☆170Updated last month
- ☆97Updated 5 years ago