Hacker Next
Ty: A fast Python type checker and language servergithub.com
879 points by arathore 2 days ago | 286 comments