Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 15 Type Inference Hindley Milner Open Source Projects

Open source projects categorized as Type Inference Hindley Milner
Categories > Hindley Milner
Categories > Type Inference
Write You A Haskell ⭐ 2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
most recent commit 5 years ago
Write You An Inference In Fsharp ⭐ 120
Different type inference algorithms implemented in F#
most recent commit 3 years ago
L2 ⭐ 110
A minimalist type-inferred programming language with procedural macro support
most recent commit 4 years ago
Typology ⭐ 68
Swift type checking and semantic analysis for developer tools
most recent commit 2 years ago
Polytype Rs ⭐ 40
A Hindley-Milner polymorphic typing system
most recent commit 4 months ago
Hindley Milner ⭐ 28
Template for Hindley-Milner based languages
most recent commit 2 years ago
Lambda Dti ⭐ 20
Interpreter of the ITGL with dynamic type inference
most recent commit 6 months ago
Mt ⭐ 16
Master thesis on developing a static type checker for Erlang
most recent commit 6 years ago
Type Systems ⭐ 11
Playing with type systems
most recent commit 2 years ago
Evaltrees ⭐ 10
A simple term-rewriting interpreter that displays intermediate expressions.
total releases 1most recent commit 3 years ago
Type Inference ⭐ 8
Hindley Milner Type Inference in Rust
most recent commit 7 years ago
Frea ⭐ 7
A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded polymorphism.
most recent commit 3 years ago
Hindley Milner ⭐ 6
Kotlin Hindley-Milner type inference with Arrow
most recent commit 5 years ago
Husky ⭐ 5
🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax
most recent commit 4 years ago
Poly ⭐ 5
Hindley-Milner type system with extensible records and variants, implemented in Go
total releases 1most recent commit 4 years ago
The 2 Latest Releases In Type Inference Hindley Milner Open Source Projects
Poly ⭐ 5
Hindley-Milner type system with extensible records and variants, implemented in Go
total releases 1latest release December 09, 2019most recent commit 4 years ago
Evaltrees ⭐ 10
A simple term-rewriting interpreter that displays intermediate expressions.
total releases 1latest release July 31, 2018most recent commit 3 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.