typeinference

An advanced static type checker

Different type inference algorithms implemented in F#

Type4Py: Deep Similarity Learning-Based Type Inference for Python

bidirectional type checking algorithms for higher-ranked polymorphism

A Micro-benchmarking Framework for Python Type Inference Tools

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

Type checker for dynamic languages like JavaScript & Python, with full type inference and no transpilation

VSCode Extension of Type4Py

"Type Inference by Example" in Gleam

Implementation of Hindley-Milner type inference algorithm in Java

[ICML2025] Evaluating LLM Type Inference for Untyped Python Repositories

Java JEP286 examples

Header-only ObjC modernization pack 😎

Vault is a next-generation state management library for Kotlin that combines transactional safety with reactive programming. It provides a robust, type-safe way to manage application state with automatic error recovery and seamless persistence integration.

All about Generics in Java

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

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

Gentle introduction to Java 10 local variable type inference.

Auxiliary type inference without writing types that are not necessary.

A curated collection of Kotlin starter projects covering key concepts like variables, null safety, data classes, extension functions and coroutines — perfect for building your app-dev skills step-by-step.