hityper (pypi): HiTyper: A hybrid type inference framework for Python
Keywords: python|type inference|static analysis