JamesIry / jADTLinks
A spoonful of ADT in your Java.
☆49Updated 2 years ago
Alternatives and similar repositories for jADT
Users that are interested in jADT are comparing it to the libraries listed below
Sorting:
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Updated 2 years ago
- Higher kinded types for Java☆121Updated 3 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆76Updated 2 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- Higher Kinded Type machinery for Java☆82Updated 3 years ago
- Automatic derivation of functional-java typeclasse instances and optics☆22Updated 5 years ago
- An Intellij Plugin for the Eta programming language☆51Updated 7 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆70Updated 9 years ago
- ☆13Updated 8 years ago
- An sbt plugin that integrates Eta into Scala projects.☆57Updated 6 years ago
- Frege REPL☆79Updated 6 years ago
- Frege support for IntelliJ IDEA☆14Updated 9 years ago
- ☆57Updated 8 years ago
- GUI for the frege repl☆26Updated 8 years ago
- the Scala delimited continuations plugin and library☆90Updated 5 years ago
- ☆13Updated 10 years ago
- The eclipse plugin for frege, codename fregIDE☆31Updated 6 years ago
- Free Monad in Java☆29Updated 2 weeks ago
- Power assertions (as known from Groovy and Spock) for the Scala language.☆191Updated 7 years ago
- A JVM bytecode assembler written in Haskell.☆36Updated 9 years ago
- ☆92Updated 9 years ago
- A work-in-progress game being developed using scala-js☆33Updated 11 years ago
- Language support for the Frege programming language in IntelliJIDEA (currently experimental)☆22Updated 9 years ago
- Java monadic parser combinator framework for constructing LL(1) parsers☆122Updated 4 months ago
- Scala API Search☆38Updated 9 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Updated 5 years ago
- Scala implementation of "Freer Monads, More Extensible Effects" - see http://okmij.org/ftp/Haskell/extensible/more.pdf☆49Updated 9 months ago
- Fast Parser Combinators☆27Updated 10 years ago
- Frege support for sbt☆53Updated 2 weeks ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Updated 7 years ago