eta-lang / dhall-etaLinks
A eta wrapper of dhall-haskell with the goal of provide a friendly java api over dhall
☆27Updated 5 years ago
Alternatives and similar repositories for dhall-eta
Users that are interested in dhall-eta are comparing it to the libraries listed below
Sorting:
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39Updated 6 years ago
- Frege support for IntelliJ IDEA☆14Updated 9 years ago
- An Intellij Plugin for the Eta programming language☆51Updated 7 years ago
- A simple to-do web application in Eta using Spock web framework and Lucid DSL☆17Updated 7 years ago
- A monad-transformer analogue to the Scala ZIO library (basically, UIO + Reader + Either)☆10Updated 4 years ago
- ☆92Updated 9 years ago
- A Warp-based gRPC server for Haskell☆23Updated 5 years ago
- ☆15Updated 8 years ago
- Haskell plugin for Gradle☆16Updated 7 years ago
- Apache Pulsar client for Haskell☆38Updated 5 years ago
- Crazy experiment, ignore unless you know better☆37Updated 7 years ago
- The eclipse plugin for frege, codename fregIDE☆31Updated 6 years ago
- Generates Nix definitions for your SBT builds☆43Updated 7 years ago
- Effect Handlers for Java / the JVM☆29Updated 5 years ago
- Docker containers for your integration tests! http://hackage.haskell.org/package/testcontainers☆75Updated last month
- Simple example of using JDBC from Eta language☆10Updated 8 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
- A quasiquoter for neat and simple multiline text interpolation☆58Updated 2 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Updated 6 years ago
- Nix expressions to build Eta☆17Updated 6 years ago
- Isomorphic Reasoning: Counting with Types☆38Updated 5 years ago
- GUI for the frege repl☆26Updated 8 years ago
- Want to propose changes to Eta?☆14Updated 7 years ago
- Collection of dhall packages☆44Updated last year
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- Wailing into the primordial ooze of category theory☆55Updated 3 weeks ago
- Dhall for Java