Shed Skin

Shed Skin is an open source project with contributions from many people, however the main author is Mark Dufour.

[1] Besides the typing restriction,[2] programs cannot freely use the Python standard library, although about 20 common modules, such as random, itertools and re (regular expressions), are supported as of 2011.

The supporting code that it uses as a run time library is under a BSD or MIT license depending on the module.

Shed Skin combines Ole Agesen's Cartesian Product Algorithm (CPA) with the data-polymorphic part of John Plevyak's Iterative Flow Analysis (IFA).

A graph has been published by the author, showing analysis times for 50 example programs, at a total of around 15,000 lines.