Nuitka has been around for a few years:

https://nuitka.net/

AIUI, this was basically a one-person effort for a long time, but the project is now growing.

Look up PyOxidizer.

But also look at MyPy's internal MyPyC if you want something that uses type information for some speedups.

I wish there was one too, but programmer-oriented types are not the same thing as machine-oriented types. Compiling to fast code requires the latter one: types like u32, not Dict[String, int]. Current Python typing efforts tend to focus on programmer-oriented types.

No idea if this improves performance (and it's definitely not a compiler), but Pyz produces single files from your Python code: https://pypi.org/project/pyz/