Boo - http://boo.codehaus.org/
Shed-skin - http://code.google.com/p/shedskin/
Both are projects that take a crack at adding or creating a static type system in concert with Python like syntax. The above take very different approaches.