9 skills found
JSMonk / HegelAn advanced static type checker
7sharp9 / Write You An Inference In FsharpDifferent type inference algorithms implemented in F#
saltudelft / Type4pyType4Py: Deep Similarity Learning-Based Type Inference for Python
secure-software-engineering / TypeEvalPyA Micro-benchmarking Framework for Python Type Inference Tools
kwanghoon / Bidibidirectional type checking algorithms for higher-ranked polymorphism
kekyo / TypeInferencerMinimal type inference Algorithm W and Algorithm M in F#
casperboone / Dltpy🐍 Deep Learning Type Inference of Python Function Signatures using their Natural Language Context
saltudelft / Type4py Vscode ExtVSCode Extension of Type4Py
rohinmshah / TypeinferenceType Inference for Scheme
