JamesIry / jADT

Related projects ⓘ

Alternatives and complementary repositories for jADT

• talios / datatyper
  Algebraic Data Type Code Generator for Java and Apache Maven
  ☆21Updated last year
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆71Updated 8 years ago
• Frege / frege-maven-plugin
  Support for your favorite build tool
  ☆13Updated last year
• sviperll / higher-kinded-java
  ☆12Updated 7 years ago
• derive4j / derive4j-fj
  Automatic derivation of functional-java typeclasse instances and optics
  ☆21Updated 4 years ago
• highj / highj
  Higher kinded types for Java
  ☆114Updated 2 years ago
• aloiscochard / codec-jvm
  A JVM bytecode assembler written in Haskell.
  ☆36Updated 8 years ago
• carymrobbins / intellij-frege
  Frege support for IntelliJ IDEA
  ☆14Updated 8 years ago
• Dierk / Real_World_Frege
  Examples of the book "Real World Haskell" in the Frege programming language
  ☆70Updated 8 years ago
• Frege / frege-repl
  Frege REPL
  ☆78Updated 5 years ago
• derive4j / hkt
  Higher Kinded Type machinery for Java
  ☆82Updated 2 years ago
• runarorama / slides
  ☆13Updated 9 years ago
• Frege / eclipse-plugin
  The eclipse plugin for frege, codename fregIDE
  ☆31Updated 5 years ago
• Frege / frege-gradle-plugin
  Gradle plugin for compiling Frege projects
  ☆25Updated 2 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆40Updated 2 years ago
• Dierk / frege-idea-plugin
  Language support for the Frege programming language in IntelliJIDEA (currently experimental)
  ☆22Updated 8 years ago
• y-taka-23 / learn-you-a-frege
  Frege Translation of "Learn You a Haskell for Great Good!."
  ☆51Updated 8 years ago
• TiarkRompf / rrbtrees
  RRB-Trees: Efficient Immutable Vectors
  ☆50Updated 12 years ago
• jdegoes / sbtb-2016
  Streams for (Co)Free! — The supporting repository for a 2016 Scala By The Bay presentation
  ☆14Updated 8 years ago
• meerkat-parser / Meerkat
  Meerkat parsers
  ☆24Updated 7 years ago
• typelead / intellij-eta
  An Intellij Plugin for the Eta programming language
  ☆52Updated 6 years ago
• pniederw / expecty
  Power assertions (as known from Groovy and Spock) for the Scala language.
  ☆188Updated 6 years ago
• earldouglas / sbt-frege
  Frege support for sbt
  ☆53Updated this week
• fregelab / chinook
  Tiny Frege web framework developed on top of sparkjava.com
  ☆28Updated 8 years ago
• typelead / sbt-eta
  An sbt plugin that integrates Eta into Scala projects.
  ☆57Updated 5 years ago
• runarorama / scala-bound
  A library for developing languages with scoped binders (like forall or lambda).
  ☆28Updated 6 years ago
• nicolasstucki / scala-rrb-vector
  Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations
  ☆56Updated 5 years ago
• lrytz / efftp
  ☆83Updated 11 years ago
• typelead / gradle-eta
  Gradle plugin for the Eta programming language
  ☆30Updated 3 years ago