GitHub repository: quora/pyanalyze
Primary language: Python
Description: A Python type checker