Python probabilistic type inference with natural language support
Type Analysis for JavaScript