[maximilian]

There is also the mypy project (http://mypy-lang.org/). They are working on a type-checked variant of python. Currently it's just a pre-processing stage, but they eventually want to make it possible to AOT compile using the type information to get a faster language.

[freyrs3]

It was originally part of the authors PhD work, it hasn't been touched since he graduated.