An Intellij Plugin for the Eta programming language
☆51Oct 18, 2018Updated 7 years ago
Alternatives and similar repositories for intellij-eta
Users that are interested in intellij-eta are comparing it to the libraries listed below
Sorting:
- Gradle plugin for the Eta programming language☆29Nov 6, 2021Updated 4 years ago
- An sbt plugin that integrates Eta into Scala projects.☆57May 6, 2019Updated 6 years ago
- ☆15Feb 2, 2017Updated 9 years ago
- Want to propose changes to Eta?☆14Apr 2, 2018Updated 7 years ago
- A purity and nullability analysis tool for Java.☆26Aug 9, 2018Updated 7 years ago
- JVM code generation☆32Feb 1, 2019Updated 7 years ago
- Examples of Eta in action.☆36Aug 19, 2018Updated 7 years ago
- Atom LSP plugin for HIE (Haskell IDE Engine)☆26Aug 11, 2019Updated 6 years ago
- Simple example of using JDBC from Eta language☆10Jan 14, 2017Updated 9 years ago
- A simple to-do web application in Eta using Spock web framework and Lucid DSL☆17Jul 29, 2018Updated 7 years ago
- Eta bindings to Kafka☆15Aug 17, 2017Updated 8 years ago
- exports your dependency graph to a preloaded local repository☆15May 10, 2019Updated 6 years ago
- rabbitmq client in scalaz-stream☆14Aug 30, 2022Updated 3 years ago
- Proposal for faster sbt launch times and more stable plugin ecosystem☆23Jun 13, 2018Updated 7 years ago
- Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.☆79Oct 19, 2017Updated 8 years ago
- ☆19Jan 31, 2018Updated 8 years ago
- typeclass based functional msgpack serializer/deserializer for Scala. support scala.js and scala-native / msgpack.org[Scala]☆44Mar 2, 2026Updated last week
- Haskell plugin for IntelliJ IDEA☆484Jul 19, 2022Updated 3 years ago
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,627Jul 31, 2022Updated 3 years ago
- Haskell/Java interop via inline Java code in Haskell modules.☆234Sep 18, 2025Updated 5 months ago
- ☆115Mar 28, 2022Updated 3 years ago
- migrated to git.rossabaker.com☆16Sep 4, 2025Updated 6 months ago
- JVM bytecode back end for Idris☆478Jan 27, 2026Updated last month
- A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.☆73Jun 15, 2019Updated 6 years ago
- A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.☆18Dec 15, 2017Updated 8 years ago
- Frege support for sbt☆54Feb 28, 2026Updated last week
- A JVM bytecode assembler written in Haskell.☆35May 15, 2016Updated 9 years ago
- Implements a graphical haskell debugger in atom, using ghci☆21Jun 30, 2018Updated 7 years ago
- A knowledge base of Dotty internals and all things related☆20Jul 25, 2019Updated 6 years ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-text☆21Nov 23, 2018Updated 7 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Nov 5, 2019Updated 6 years ago
- Trust no-one, and especially not memory visibility.☆19Dec 9, 2021Updated 4 years ago
- ☆77Nov 28, 2020Updated 5 years ago
- A scala DSL to generate JSON schema and swagger documentation for your web services.☆79Apr 4, 2018Updated 7 years ago
- A set of patches to make Hackage compatible with the Eta language.☆64Aug 24, 2019Updated 6 years ago
- A eta wrapper of dhall-haskell with the goal of provide a friendly java api over dhall☆27Nov 7, 2019Updated 6 years ago
- Detect flaky tests with sbt☆38Aug 16, 2023Updated 2 years ago
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Apr 28, 2020Updated 5 years ago
- A recursion scheme library for Idris.☆25Feb 13, 2026Updated 3 weeks ago