Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Hindley Milner Open Source Projects

Open source projects categorized as Hindley Milner
Categories > Hindley Milner
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
Alpaca ⭐ 1,290
Functional programming inspired by ML for the Erlang VM
most recent commit 5 years ago
Articles ⭐ 1,212
Miscellaneous articles. The readme is the table of contents.
most recent commit 9 months ago
Hm Def ⭐ 154
Runtime type checking for JS with Hindley Milner signatures
dependent packages 14total releases 9most recent commit 4 years agonpm hm-def} Downloads
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
Ftor ⭐ 43
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
most recent commit 6 years ago
Polytype Rs ⭐ 40
A Hindley-Milner polymorphic typing system
most recent commit 4 months ago
Zion ⭐ 39
A statically-typed strictly-evaluated garbage-collected readable programming language.
most recent commit a year ago
Mini Haskell ⭐ 36
A self-hosting mini Haskell compiler with a mini C runtime.
most recent commit 4 years ago
Type Inferencer ⭐ 35
hindley-milner algorithm
most recent commit a year ago
Hindley Milner ⭐ 28
Template for Hindley-Milner based languages
most recent commit 2 years ago
Hm Parser ⭐ 21
A parser for Hidnley Milner notations
dependent packages 4total releases 6most recent commit 5 years agonpm hm-parser} Downloads
Terp ⭐ 20
A functional programming language with lisp syntax and ML semantics that runs on the BEAM
most recent commit 3 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
Ss ⭐ 9
SimpleScript, A Simpler Programming Language (WIP)
most recent commit a year ago
Elara ⭐ 9
Elara is a purely-functional programming language targetting the JVM
most recent commit 3 months ago
Rep_lang ⭐ 9
a language for Cultural Articulation
most recent commit 2 years ago
Type Inference ⭐ 8
Hindley Milner Type Inference in Rust
most recent commit 7 years ago
The 2 Most Depended On Hindley Milner Open Source Projects
Hm Def ⭐ 154
Runtime type checking for JS with Hindley Milner signatures
dependent packages 14total releases 9latest release October 09, 2018most recent commit 4 years agonpm hm-def} Downloads
Hm Parser ⭐ 21
A parser for Hidnley Milner notations
dependent packages 4total releases 6latest release January 12, 2018most recent commit 5 years agonpm hm-parser} Downloads
The 4 Latest Releases In 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
Hm Def ⭐ 154
Runtime type checking for JS with Hindley Milner signatures
dependent packages 14total releases 9latest release October 09, 2018most recent commit 4 years agonpm hm-def} Downloads
Evaltrees ⭐ 10
A simple term-rewriting interpreter that displays intermediate expressions.
total releases 1latest release July 31, 2018most recent commit 3 years ago
Hm Parser ⭐ 21
A parser for Hidnley Milner notations
dependent packages 4total releases 6latest release January 12, 2018most recent commit 5 years agonpm hm-parser} Downloads
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.