typed-python (pypi): opt-in strong typing at runtime for python, plus a compiler.
Keywords: compiler|python-programming