Alternatives and similar repositories for LambdaHindleyMilner:

Users that are interested in LambdaHindleyMilner are comparing it to the libraries listed below

• Dierk / Real_World_Frege
  Examples of the book "Real World Haskell" in the Frege programming language
  ☆70Updated 9 years ago
• fregelab / chinook
  Tiny Frege web framework developed on top of sparkjava.com
  ☆27Updated 8 years ago
• jon-hanson / parsecj
  Java monadic parser combinator framework for constructing LL(1) parsers
  ☆118Updated last year
• highj / highj
  Higher kinded types for Java
  ☆117Updated 3 years ago
• pavelfatin / toyide
  Modern IDE plus custom programming languages with interpreters and compilers
  ☆66Updated 7 years ago
• derive4j / hkt
  Higher Kinded Type machinery for Java
  ☆82Updated 3 years ago
• Frege / frege-repl
  Frege REPL
  ☆78Updated 6 years ago
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆75Updated last year
• idris-hackers / idris-java
  Java Code Generator for Idris
  ☆71Updated 9 years ago
• sviperll / adt4j
  adt4j - Algebraic Data Types for Java
  ☆145Updated 7 years ago
• absurdhero / parsekt
  Parser Combinator library for Kotlin
  ☆27Updated 6 years ago
• mmhelloworld / idris-jvm
  JVM bytecode back end for Idris
  ☆472Updated last month
• atsky / haskell-idea-plugin
  IntelliJ IDEA plugin for Haskell
  ☆201Updated 7 years ago
• yona-lang / yona
  Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…
  ☆128Updated 2 years ago
• cesquivias / mumbler
  My experimental programming language using Truffle
  ☆109Updated 5 years ago
• vincenthz / language-java
  Java parser and printer for haskell
  ☆67Updated 4 years ago
• nau / lasca-compiler
  Lasca is Scala shifted towards Haskell.
  ☆132Updated 6 years ago
• mstewartgallus / jsystemf
  Just a little toy System F interpreter, doesn't even have proper generics yet.
  ☆12Updated 4 years ago
• JamesIry / jADT
  A spoonful of ADT in your Java.
  ☆49Updated 2 years ago
• Frege / frege-maven-plugin
  Support for your favorite build tool
  ☆13Updated last year
• typemeta / funcj
  Assorted functional-oriented data structures and algorithms for Java.
  ☆110Updated last month
• namin / dot
  formalization of the Dependent Object Types (DOT) calculus
  ☆158Updated 8 years ago
• chiroptical / book-of-monads
  Finished Book of Monads by Alejandro Serrano-Mena
  ☆27Updated 4 years ago
• KindedJ / KindedJ
  A collection of shared interfaces for evidence-based Higher Kinded Types in the JVM
  ☆98Updated 4 years ago
• premun / ingrid
  Ingrid is a JetBrains MPS plugin allowing the import of ANTLRv4 grammars and creation of an MPS language automatically out of the grammar
  ☆23Updated 5 years ago
• typelead / gradle-eta
  Gradle plugin for the Eta programming language
  ☆30Updated 3 years ago
• le-moulin-studio / java-semantic-diff
  Experiment about a semantic-based diff tool for Java language.
  ☆12Updated 10 years ago
• tombousso / sJava
  Java dialect using S-expressions
  ☆31Updated 6 years ago
• tweag / inline-java
  Haskell/Java interop via inline Java code in Haskell modules.
  ☆231Updated last year
• ilya-klyuchnikov / tapl-scala
  Code from the book "Types and Programming Languages" in Scala
  ☆180Updated 3 years ago