An advanced static type checker

Different type inference algorithms implemented in F#

Type4Py: Deep Similarity Learning-Based Type Inference for Python

A Micro-benchmarking Framework for Python Type Inference Tools

bidirectional type checking algorithms for higher-ranked polymorphism

 🐍 Deep Learning Type Inference of Python Function Signatures using their Natural Language Context

VSCode Extension of Type4Py

Implementation of Hindley-Milner type inference algorithm in Java

Java JEP286 examples

"Type Inference by Example" in Gleam

Header-only ObjC modernization pack 😎

All about Generics in Java

Java source code example demonstrating Local variable Type Inference (var), posted on personal blog (http://bit.ly/VarJava).

Gentle introduction to Java 10 local variable type inference.

Auxiliary type inference without writing types that are not necessary.

Gradle source code repository for Java 11 source code examples posted on personal blog (http://bit.ly/Java11Ft1).