Awesome Open Source

Programming Languages

Search results for type inference hindley milner

hindley-milner x

type-inference x

14 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#

A minimalist type-inferred programming language with procedural macro support

Typology ⭐ 68

Swift type checking and semantic analysis for developer tools

Polytype Rs ⭐ 40

A Hindley-Milner polymorphic typing system

Hindley Milner ⭐ 28

Template for Hindley-Milner based languages

Lambda Dti ⭐ 20

Interpreter of the ITGL with dynamic type inference

Master thesis on developing a static type checker for Erlang

Type Systems ⭐ 11

Playing with type systems

Evaltrees ⭐ 10

A simple term-rewriting interpreter that displays intermediate expressions.

Type Inference ⭐ 8

Hindley Milner Type Inference in Rust

A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded polymorphism.

Hindley Milner ⭐ 6

Kotlin Hindley-Milner type inference with Arrow

🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax

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

Related Searches

Types Type Inference (130)

Language Type Inference (50)

Haskell Type Inference (49)

Programming Language Type Inference (31)

Ocaml Type Inference (26)

Java Type Inference (24)

Types Hindley Milner (21)

Functional Programming Type Inference (20)

Rust Type Inference (14)

Scala Type Inference (14)

1-14 of 14 search results

Privacy | About | Terms | Follow Us On Twitter

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