carymrobbins / intellij-fregeLinks
Frege support for IntelliJ IDEA
☆14Updated 8 years ago
Alternatives and similar repositories for intellij-frege
Users that are interested in intellij-frege are comparing it to the libraries listed below
Sorting:
- Effect Handlers for Java / the JVM☆30Updated 5 years ago
- Automatic derivation of functional-java typeclasse instances and optics☆21Updated 5 years ago
- ☆15Updated 8 years ago
- Simple example of using JDBC from Eta language☆10Updated 8 years ago
- The eclipse plugin for frege, codename fregIDE☆31Updated 5 years ago
- ☆13Updated 8 years ago
- GUI for the frege repl☆25Updated 8 years ago
- An Intellij Plugin for the Eta programming language☆52Updated 6 years ago
- Frege language binding and utilities to create JavaFX user interfaces☆33Updated 3 years ago
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Updated last year
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- Monad transformers for exception handling☆17Updated 10 months ago
- Language support for the Frege programming language in IntelliJIDEA (currently experimental)☆22Updated 9 years ago
- A eta wrapper of dhall-haskell with the goal of provide a friendly java api over dhall☆27Updated 5 years ago
- A simple to-do web application in Eta using Spock web framework and Lucid DSL☆17Updated 6 years ago
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39Updated 6 years ago
- Gradle plugin for the Eta programming language☆30Updated 3 years ago
- An sbt plugin that integrates Eta into Scala projects.☆57Updated 6 years ago
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- Higher kinded types for Java☆118Updated 3 years ago
- Frege REPL☆78Updated 6 years ago
- Object algebras vs. free monads, or type classes vs. ADTs☆17Updated 8 years ago
- Algebraic Graphs in Scala☆27Updated 3 years ago
- Gradle plugin for compiling Frege projects☆25Updated 3 years ago
- ☆13Updated 9 years ago
- RRB-Trees: Efficient Immutable Vectors☆50Updated 12 years ago
- A programming language for distributed applications☆34Updated last year
- Higher Kinded Type machinery for Java☆82Updated 3 years ago
- Brent Yorgey's Typeclassopedia, translated to Scala☆25Updated 7 years ago