sfischer13 / awesome-eta
Useful resources for the Eta programming language
☆63Updated 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
- 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
- Useful resources for the Frege programming language☆30Updated 3 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 9 years ago
- Explore haskell and functional programming concepts☆20Updated 6 years ago
- ♾️ Sized list☆46Updated 8 months ago
- Retry combinators for monadic actions that may fail☆114Updated last year
- Android 2048 game using Yampa FRP library in Eta☆57Updated 6 years ago
- ☆40Updated 5 years ago
- Common control classes and utility functions☆56Updated 11 months ago
- A port of QuickCheck to Idris☆57Updated 7 years ago
- Slides + TodoApp for Chicago Haskell Servant Presentation☆47Updated 9 years ago
- Moot is a CFP and event management system!☆66Updated 6 years ago
- JSON decoding/encoding/manipulation library.☆94Updated 2 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆94Updated last year
- Eta bindings to Kafka☆15Updated 7 years ago
- The Effect monad, for handling native side effects☆53Updated 2 years ago
- Simple example of using JDBC from Eta language☆10Updated 8 years ago
- Advent of Code 2017☆41Updated 6 years ago
- Generic Programming using True Sums of Products☆161Updated 3 weeks ago
- ☆40Updated 6 years ago
- Focused domain model declaration toolkit for Haskell☆47Updated last year
- An HTTP library for idris☆39Updated 6 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- A typed, persistent store for values of arbitrary types☆60Updated last month
- Haskell Webapps on AWS Lambda☆43Updated last year
- YesQL-style SQL database abstraction.☆26Updated 4 years ago
- Working through Type-Driven Development with Idris☆24Updated 8 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆79Updated 7 years ago