sfischer13 / awesome-eta
Useful resources for the Eta programming language
☆61Updated 3 years ago
Related projects: ⓘ
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 4 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 5 years ago
- Learning project by a group of people interested in learning the Idris language☆51Updated 9 years ago
- ☆93Updated 8 years ago
- An HTTP library for idris☆40Updated 5 years ago
- Advent of Code 2017☆41Updated 5 years ago
- Useful resources for the Frege programming language☆28Updated 3 years ago
- Explore haskell and functional programming concepts☆20Updated 5 years ago
- Working through Type-Driven Development with Idris☆24Updated 8 years ago
- A typed, persistent store for values of arbitrary types☆60Updated 2 weeks ago
- Js libraries for idris☆48Updated 4 years ago
- ☆51Updated 8 years ago
- Moot is a CFP and event management system!☆66Updated 5 years ago
- Simple example of using JDBC from Eta language☆10Updated 7 years ago
- A Purescript library for parsing SlamData's dialect of Markdown.☆36Updated 4 years ago
- Fast, scalable and secure de-duplicating backup.☆16Updated 4 years ago
- A port of QuickCheck to Idris☆57Updated 6 years ago
- State machines in Idris☆36Updated 7 years ago
- Exercises from the readers of the Haskell Book☆55Updated 5 years ago
- Course for learning how to apply property-based state-machine testing☆64Updated 5 years ago
- Android 2048 game using Yampa FRP library in Eta☆56Updated 6 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆59Updated 2 years ago
- A test framework for Idris☆56Updated 5 years ago
- Sonic the Hedgehog 2 in Haskell☆68Updated 2 years ago
- Optical Purescript UI library based on React and the Elm architecture, but without the boilerplate.☆49Updated 6 years ago
- 2048 game clone using Yampa FRP library☆29Updated 6 years ago
- ☆41Updated 6 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- Eta bindings to Kafka☆15Updated 7 years ago
- The official supporting materials repository for LambdaConf 2015.☆90Updated 9 years ago