maeln / LambdaHindleyMilnerLinks
Java implementation of Hindley Milner type inference algorithm for lambda calculus.
☆11Updated 6 years ago
Alternatives and similar repositories for LambdaHindleyMilner
Users that are interested in LambdaHindleyMilner are comparing it to the libraries listed below
Sorting:
- OegyScroll - Wicket component for long scrollable lists☆20Updated 12 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆70Updated 9 years ago
- JVM bytecode back end for Idris☆474Updated 2 weeks ago
- Tiny Frege web framework developed on top of sparkjava.com☆27Updated 9 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- .psd file resource block interpreter in go☆10Updated 6 years ago
- Java streams utility methods for memoization☆11Updated 7 months ago
- Gradle plugin for compiling Frege projects☆25Updated 3 years ago
- Java monadic parser combinator framework for constructing LL(1) parsers☆120Updated 2 months ago
- Higher kinded types for Java☆118Updated 3 years ago
- Fjord, F# programming language for the JVM.☆208Updated 10 years ago
- Automatic derivation of functional-java typeclasse instances and optics☆21Updated 5 years ago
- The CAL functional language and functional meta-programming environment for the Java platform☆38Updated 5 years ago
- Frege language binding and utilities to create JavaFX user interfaces☆33Updated 3 years ago
- Higher Kinded Type machinery for Java☆82Updated 3 years ago
- ☆10Updated 7 years ago
- ☆92Updated 9 years ago
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- Assorted functional-oriented data structures and algorithms for Java.☆112Updated 5 months ago
- Frege REPL☆78Updated 6 years ago
- A proof of concept for running Frege on Android☆6Updated 8 years ago
- GUI for the frege repl☆25Updated 8 years ago
- My experimental programming language using Truffle☆112Updated 5 years ago
- Finished Book of Monads by Alejandro Serrano-Mena☆27Updated 5 years ago
- adt4j - Algebraic Data Types for Java☆146Updated 7 years ago
- Experiment about a semantic-based diff tool for Java language.☆12Updated 10 years ago
- Lambda analysis package☆20Updated 4 years ago
- Frege support for IntelliJ IDEA☆14Updated 9 years ago
- Sawja provides a high level representation of Java bytecode programs and static analysis tools.☆12Updated last year
- Write small programs (eg -algorithms) in a functional way.☆129Updated 4 years ago