CでコンパイルするCython は評判が良く無いけど、Dropbox が開発してる　Mypyc は、評判が良さそうだね。

https://news.ycombinator.com/item?id=17846341

https://blogs.dropbox.com/tech/2019/09/our-journey-to-type-checking-4-million-lines-of-python/