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
- JVM bytecode back end for Idris☆474Updated 4 months ago
- ☆10Updated 10 years ago
- Java streams utility methods for memoization☆11Updated 7 months ago
- My experimental programming language using Truffle☆111Updated 5 years ago
- Extensible stream pipelines with object algebras.☆26Updated 10 years ago
- Java monadic parser combinator framework for constructing LL(1) parsers☆119Updated last month
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆79Updated 6 years ago
- Assorted functional-oriented data structures and algorithms for Java.☆112Updated 4 months ago
- A small perf test for comparing the performance of good and bad regexes.☆10Updated 10 years ago
- Higher Kinded Type machinery for Java☆82Updated 3 years ago
- A project demonstrating how to use subgradient descent (SGD) to learn the maximum-margin hyper-plane of support vector machine (SVM).☆10Updated 7 years ago
- Higher kinded types for Java☆118Updated 3 years ago
- Tiny Frege web framework developed on top of sparkjava.com☆27Updated 9 years ago
- adt4j - Algebraic Data Types for Java☆146Updated 7 years ago
- Automatic derivation of functional-java typeclasse instances and optics☆21Updated 5 years ago
- Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses…☆571Updated 2 years ago
- Fjord, F# programming language for the JVM.☆208Updated 10 years ago
- Modern IDE plus custom programming languages with interpreters and compilers☆66Updated 7 years ago
- Compile-Time Purity and Immutability Semantics For The Java Language☆174Updated 6 years ago
- Persistent (immutable) collections for Java and Kotlin☆213Updated last year
- Toy Lisp to Python compiler☆10Updated 11 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆70Updated 9 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- Build parsers in Java☆346Updated 3 years ago
- Dynamic parser combinators in Java.☆175Updated 2 weeks ago
- ☆10Updated 5 years ago
- Generic, Null-safe, Immutable Collections and Functional Transformations for the JVM☆317Updated 6 months ago
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- Gradle plugin for compiling Frege projects☆25Updated 3 years ago