Awesome Open Source

Programming Languages

Search results for types 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/)

Alpaca ⭐ 1,290

Functional programming inspired by ML for the Erlang VM

Runtime type checking for JS with Hindley Milner signatures

Typology ⭐ 68

Swift type checking and semantic analysis for developer tools

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

Polytype Rs ⭐ 40

A Hindley-Milner polymorphic typing system

A statically-typed strictly-evaluated garbage-collected readable programming language.

Mini Haskell ⭐ 36

A self-hosting mini Haskell compiler with a mini C runtime.

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

Elara is a purely-functional programming language targetting the JVM

Type Inference ⭐ 8

Hindley Milner Type Inference in Rust

Hindley Milner ⭐ 6

Kotlin Hindley-Milner type inference with Arrow

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

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

Related Searches

Javascript Types (8,178)

Typescript Types (2,606)

Python Types (2,536)

Php Types (1,921)

Java Types (1,598)

C Plus Plus Types (1,282)

Golang Types (1,281)

C Sharp Types (1,177)

Plugin Types (1,152)

Json Types (1,128)

1-6 of 6 search results

Privacy | About | Terms | Follow Us On Twitter

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