A static type analyzer for Python code
https://github.com/google/pytype can surely be colloquially referred to as "compiling", and let me assure you, it's annoyingly slow.
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.
Type Checkers: which one you use and why?
2 projects | reddit.com/r/Python | 18 Aug 2021
Reddit, what advice would you give to a CS grad into their first job as a Python Developer?
1 project | reddit.com/r/AskReddit | 19 Jun 2021
Is Python a viable solution for enterprise web projects? Where does (pardon the wording) the fetish come from?
1 project | reddit.com/r/webdev | 17 Jun 2021
Pyre: A performant type-checker for Python 3
6 projects | news.ycombinator.com | 10 May 2021
What does it mean to have -> after a function
2 projects | reddit.com/r/learnpython | 14 Mar 2021