GitHub repository: JetBrains-Research/typilus
Primary language: Python
Description: Code for "Typilus: Neural Type Hints" PLDI 2020