Static type analyzer for Python code
