RPython is a restricted subset of Python which amongst other things allows compilation of Python to native code. A more interesting feature is that it can also be used to generate a JIT compiler for a language simply by writing an interpreter with it.
Nice in-depth look at how this magic works.
Nice in-depth look at how this magic works.