eta-examples
Eta examples
Examples of using Eta to simplify type abstractions in Haskell programs
Examples of Eta in action.
36 stars
6 watching
2 forks
Language: Haskell
last commit: over 6 years ago
Linked from 1 awesome list
sfischer13/awesome-etaRelated projects:
| Repository | Description | Stars |
|---|---|---|
| typelead/intellij-eta | An IntelliJ plugin that provides support for the Eta programming language | 52 |
| typelead/eta | A Haskell dialect designed to run on the JVM with goals of accessibility and compatibility | 2,612 |
| typelead/eta-hackage | Patches to make Hackage compatible with Eta language | 64 |
 eta-lang/eta-prelude | A Haskell package providing functional programming utilities and types for the Eta language. | 7 |
| typelead/gradle-eta | A Gradle plugin for building projects in the Eta programming language using the Etlas build tool. | 30 |
 jyothsnasrinivas/eta-yesod-minimal | An example project demonstrating a Yesod web application built with the Eta Haskell compiler | 5 |
 puffnfresh/eta-android | Example implementation of Eta on Android to demonstrate its use in mobile app development | 24 |
| typelead/sbt-eta | An sbt plugin that integrates Eta into Scala projects. | 57 |
 sweirich/dth | Exploring and showcasing examples of dependently-typed programs in Haskell | 303 |
 typeclasses/haskell-phrasebook | A tutorial guide to Haskell programming with annotated example programs. | 211 |
 dierk/real_world_frege | A collection of examples in the Frege programming language that demonstrate Haskell concepts from a book on Real World Haskell | 70 |
 wyager/example-distributed-app | An example of a distributed systems application in Haskell using Cloud Haskell | 69 |
 sol/doctest | Tools for verifying and validating Haskell code examples | 374 |
 politrons/dive_into_haskell | An introductory guide to Haskell programming language features and applications | 69 |
 ajtulloch/haskell-ml | Implementations of basic machine learning algorithms in Haskell | 57 |