4 results found Sort:

JSMonk
hegel JSMonk
59
2.1k
mit
37
An advanced static type checker
javascript type-safety typeinference
This repository has been archived (exclude archived)
Created 2018-10-20
721 commits to master branch, last one 10 months ago
7sharp9
write-you-an-inference-in-fsharp 7sharp9
8
159
mit
10
Different type inference algorithms implemented in F#
fsharp typesystems polymorphism typeinference hindley-milner
Created 2018-02-15
98 commits to master branch, last one 3 years ago
saltudelft
type4py saltudelft
12
62
apache-2.0
8
Type4Py: Deep Similarity Learning-Based Type Inference for Python
ml4se python type4py deeplearning typeinference machinelearning similarity-learning
Created 2020-11-04
216 commits to main branch, last one about a year ago
secure-software-engineering
TypeEvalPy secure-software-engineering
2
32
unknown
5
A Micro-benchmarking Framework for Python Type Inference Tools
python benchmark typeinference staticanalysis
Created 2023-06-15
397 commits to main branch, last one 2 months ago