sfischer13 / awesome-etaLinks
Useful resources for the Eta programming language
☆64Updated 4 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:
- Learning project by a group of people interested in learning the Idris language☆51Updated 10 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 6 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 6 years ago
- ☆92Updated 10 years ago
- An HTTP library for idris☆39Updated 7 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 8 years ago
- Working through Type-Driven Development with Idris☆25Updated 9 years ago
- ☆96Updated 5 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆71Updated 10 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆223Updated 7 years ago
- This is an umbrella development repository for Cloud Haskell☆71Updated 7 years ago
- Android 2048 game using Yampa FRP library in Eta☆57Updated 7 years ago
- Advent of Code 2017☆40Updated 7 years ago
- ☆51Updated 10 years ago
- The official supporting materials repository for LambdaConf 2015.☆90Updated 10 years ago
- Sonic the Hedgehog 2 in Haskell☆67Updated 4 years ago
- Exercises from the readers of the Haskell Book☆55Updated 6 years ago
- A test framework for Idris☆55Updated 6 years ago
- Community curated list of companies that use Purescript☆142Updated last year
- PureScript in the browser☆121Updated last year
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- PureScript UI framework based on lenses.☆122Updated 9 years ago
- 2048 game clone using Yampa FRP library☆29Updated 7 years ago
- A starter-kit for the Scotty web framework☆65Updated 7 years ago
- FFI Bindings to interact with the unsafe world of JavaScript☆94Updated 7 years ago
- Automatic white-box testing with Free monads: approach description and showcase☆83Updated 4 years ago
- Networks of composable stream transducers☆338Updated 10 months ago
- curses Pac-man game in Haskell -- mostly finished, very playable☆33Updated 7 years ago
- GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell☆53Updated 6 years ago
- xmonad with the X11 abstracted and configured with Idris☆209Updated 6 years ago