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