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:
- Java monadic parser combinator framework for constructing LL(1) parsers☆121Updated 3 months ago
- JVM bytecode back end for Idris☆474Updated last month
- ☆13Updated 5 years ago
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆138Updated 4 years ago
- OegyScroll - Wicket component for long scrollable lists☆20Updated 12 years ago
- Recaffeinating Java ☕️ with custom semantics and extensions☆52Updated 3 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- Java streams utility methods for memoization☆11Updated 8 months ago
- My experimental programming language using Truffle☆112Updated 5 years ago
- Extensible stream pipelines with object algebras.☆26Updated 10 years ago
- adt4j - Algebraic Data Types for Java☆147Updated 7 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆70Updated 9 years ago
- ☆169Updated 9 years ago
- Higher kinded types for Java☆121Updated 3 years ago
- Experiment about a semantic-based diff tool for Java language.☆12Updated 10 years ago
- Toy Lisp to Python compiler☆10Updated 11 years ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆81Updated 7 years ago
- Higher Kinded Type machinery for Java☆82Updated 3 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆76Updated 2 years ago
- Frege REPL☆78Updated 6 years ago
- Sorting out the basic facts behind our projects.☆10Updated 9 years ago
- JPL: The Prolog <-> Java interface☆56Updated last week
- a book about declarative language definition☆23Updated 9 years ago
- Build parsers in Java☆347Updated 3 years ago
- Modern IDE plus custom programming languages with interpreters and compilers☆66Updated 7 years ago
- IntelliJ IDEA plugin for Haskell☆201Updated 8 years ago
- Tiny Frege web framework developed on top of sparkjava.com☆27Updated 9 years ago
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- Generic, Null-safe, Immutable Collections and Functional Transformations for the JVM☆318Updated 8 months ago
- Compile-Time Purity and Immutability Semantics For The Java Language☆177Updated 6 years ago