maeln / LambdaHindleyMilner
Java implementation of Hindley Milner type inference algorithm for lambda calculus.
☆11Updated 5 years ago
Alternatives and similar repositories for LambdaHindleyMilner:
Users that are interested in LambdaHindleyMilner are comparing it to the libraries listed below
- Higher Kinded Type machinery for Java☆82Updated 3 years ago
- Java monadic parser combinator framework for constructing LL(1) parsers☆116Updated 11 months ago
- JVM bytecode back end for Idris☆472Updated 3 weeks ago
- My experimental programming language using Truffle☆109Updated 5 years ago
- Tiny Frege web framework developed on top of sparkjava.com☆27Updated 8 years ago
- Examples of the book "Real World Haskell" in the Frege programming language☆70Updated 9 years ago
- Higher kinded types for Java☆116Updated 2 years ago
- Frege + database = :-)☆16Updated 8 years ago
- Java Code Generator for Idris☆71Updated 9 years ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆117Updated 2 weeks ago
- 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
- A collection of shared interfaces for evidence-based Higher Kinded Types in the JVM☆98Updated 4 years ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆78Updated 6 years ago
- Modern IDE plus custom programming languages with interpreters and compilers☆66Updated 7 years ago
- Finished Book of Monads by Alejandro Serrano-Mena☆27Updated 4 years ago
- Extensible stream pipelines with object algebras.☆26Updated 9 years ago
- Experiment about a semantic-based diff tool for Java language.☆12Updated 10 years ago
- A spoonful of ADT in your Java.☆49Updated 2 years ago
- Haskell domain modeling playground☆31Updated 3 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆75Updated last year
- A small and expressive dependently typed language☆129Updated 4 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 7 years ago
- The Ntha Programming Language☆92Updated 8 years ago
- LL(1) parser combinators in Scala☆58Updated last month
- Link to preprints for ICFP'16 and co-located events☆139Updated 8 years ago
- Idris for Visual Studio Code☆106Updated 2 years ago
- A parser combinator library based on the GLL algorithm☆303Updated 8 months ago
- Generic, Null-safe, Immutable Collections and Functional Transformations for the JVM☆312Updated 3 months ago
- Automatic derivation of functional-java typeclasse instances and optics☆21Updated 5 years ago
- Link to preprints for ICFP'17 and colocated events☆136Updated 6 years ago