typeinference

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

#大语言模型#[ICML2025] Evaluating LLM Type Inference for Untyped Python Repositories

"Type Inference by Example" in Gleam

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 automa...

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.