A Micro-benchmarking Framework for Python Type Inference Tools
-
Updated
Apr 21, 2024 - Python
A Micro-benchmarking Framework for Python Type Inference Tools
An advanced static type checker
Type4Py: Deep Similarity Learning-Based Type Inference for Python
Auxiliary type inference without writing types that are not necessary.
Header-only ObjC modernization pack 😎
🐍 Deep Learning Type Inference of Python Function Signatures using their Natural Language Context
VSCode Extension of Type4Py
bidirectional type checking algorithms for higher-ranked polymorphism
Different type inference algorithms implemented in F#
Gentle introduction to Java 10 local variable type inference.
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).
Implementation of Hindley-Milner type inference algorithm in Java
Add a description, image, and links to the typeinference topic page so that developers can more easily learn about it.
To associate your repository with the typeinference topic, visit your repo's landing page and select "manage topics."