typeinference
There are 16 repositories under typeinference topic.
JSMonk/hegel
An advanced static type checker
7sharp9/write-you-an-inference-in-fsharp
Different type inference algorithms implemented in F#
saltudelft/type4py
Type4Py: Deep Similarity Learning-Based Type Inference for Python
secure-software-engineering/TypeEvalPy
A Micro-benchmarking Framework for Python Type Inference Tools
kwanghoon/bidi
bidirectional type checking algorithms for higher-ranked polymorphism
casperboone/dltpy
🐍 Deep Learning Type Inference of Python Function Signatures using their Natural Language Context
saltudelft/type4py-vscode-ext
VSCode Extension of Type4Py
Dnomyar/Hindley-Milner-Type-System
Implementation of Hindley-Milner type inference algorithm in Java
ortolanph/Java10Examples
Java JEP286 examples
MystPi/type_inference
"Type Inference by Example" in Gleam
nzrsky/ModernObjC
Header-only ObjC modernization pack 😎
vst-h/TypeInfer
Auxiliary type inference without writing types that are not necessary.
abhinav-nath/java-generics
All about Generics in Java
afinlay5/Java10Var
Java source code example demonstrating Local variable Type Inference (var), posted on personal blog (http://bit.ly/VarJava).
afinlay5/Java11VarLambda
Gradle source code repository for Java 11 source code examples posted on personal blog (http://bit.ly/Java11Ft1).
mtumilowicz/java10-local-type-inference
Gentle introduction to Java 10 local variable type inference.