The Mypy static type-checking project for Python is exploring ways it could aid with effortlessly compiling Python into C or machine language ...

You can use Nuitka to compile Python programs to standalone executables, then redistribute them without the Python runtime.