Awesome Open Source

Programming Languages

Search results for type system hindley milner

hindley-milner x

6 search results found

Write You A Haskell ⭐ 2,744

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Write You An Inference In Fsharp ⭐ 120

Different type inference algorithms implemented in F#

Typology ⭐ 68

Swift type checking and semantic analysis for developer tools

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

Type Inferencer ⭐ 35

hindley-milner algorithm

Type Systems ⭐ 11

Playing with type systems

Elara is a purely-functional programming language targetting the JVM

Type Inference ⭐ 8

Hindley Milner Type Inference in Rust

Hindley-Milner type system with extensible records and variants, implemented in Go

Related Searches

Types Type System (228)

Language Type System (76)

Javascript Type System (53)

Ocaml Type System (32)

Programming Type System (32)

Rust Type System (31)

Functional Programming Type System (31)

Types Hindley Milner (21)

Type Inference Hindley Milner (19)

Golang Type System (18)

1-6 of 6 search results

Privacy | About | Terms | Follow Us On Twitter

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