Mojo is a language with Pythonic syntax that compiles to fast machine code built by the creator of Swift: https://www.modular.com/open-source/mojo

Nim looks a lot like Python with a first-class type system and compiles to many different targets, including wasm and C.

Spy (https://github.com/spylang/spy) is an early version of this kind of thing. I believe it compiles to C though, kinda like Nim. Actually speaking of Nim, that's probably the most mature language in this space, although it's less pythonic than Spy

Static python as described in this skill.

https://github.com/py2many/static-python-skill

Here you are. https://github.com/google/grumpy

Last commit was 9 years ago though, so targets Python 2.7.

F# is very similar to python because it's based on indentation instead of curly braces. And with Fable you can transpile it to Rust (or Python even): https://github.com/fable-compiler/fable

What benefit would it bring? There's already https://cython.org/