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
- Java streams utility methods for memoization☆11Updated 10 months ago
- ☆10Updated 10 years ago
- .psd file resource block interpreter in go☆10Updated 6 years ago
- Java monadic parser combinator framework for constructing LL(1) parsers☆122Updated 4 months ago
- m2e connector for WRO4J☆35Updated 2 years ago
- JVM bytecode back end for Idris☆475Updated 2 months 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
- Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses…☆576Updated 2 years ago
- Generic, Null-safe, Immutable Collections and Functional Transformations for the JVM☆319Updated last month
- Toy Lisp to Python compiler☆10Updated 11 years ago
- Build parsers in Java☆348Updated 3 years ago
- OpenTracing Instrumentation for RxJava☆10Updated 4 years ago
- ☆10Updated 6 years ago
- a book about declarative language definition☆23Updated 9 years ago
- ☆10Updated 8 years ago
- MPC5744的UCOSII移植☆10Updated 6 years ago
- Customised UITextField and UITextView with HintLabel, ErrorLabel, Divider and validations☆10Updated 9 years ago
- Higher Kinded Type machinery for Java☆82Updated 3 years ago
- Extensible stream pipelines with object algebras.☆26Updated 10 years ago
- Sorting out the basic facts behind our projects.☆10Updated 9 years ago
- Web Design / July 2015 / Group 1 (Sundays & Tuesdays 18-21)☆10Updated 10 years ago
- My experimental programming language using Truffle☆112Updated 5 years ago
- ☆10Updated 10 years ago
- adt4j - Algebraic Data Types for Java☆146Updated 7 years ago
- Higher kinded types for Java☆121Updated 3 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆70Updated 9 years ago
- Compile-Time Purity and Immutability Semantics For The Java Language☆177Updated 6 years ago
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…☆132Updated 3 years ago
- ☆10Updated 7 years ago