Shed Skin is an experimental Python-to-C++ compiler. It can convert many Python programs into optimized C++ code, without any user intervention such as adding type declarations. Its main purpose is to optimize algorithmic-like Python code, by applying advanced global type inference techniques.

Many thanks to Mark Dufour. A very cool project. I wonder if it might be possible to generalize something like this more, like converting Parrot Code, which is supposed to be an intermediate language for a slew of scripting languages, to C++, and thus take care of Python, Ruby, Smalltalk, etc in one step.