type-inference topic

Safen is a top-performing validation and sanitization library with easy type inference.

denostack

A general purpose statically-typed concatenative programming language.

glossopoeia

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

lambduli

A Statically typed, compiled general purpose low level programming language built using C++ and LLVM Infrastructure framework designed to be simple and fast

AmrDeveloper

Expressions Evaluator for .NET

tmteam

Minimal type inference Algorithm W and Algorithm M in F#

kekyo

maintainable type inference

jolin-io

The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

hkust-taco

Playing with type systems

andreypopp

WIP: Python Type Checker and LSP 🔎

Glyphack