Python compile-time type checking
A project that we should keep in the radar, especially with all the issues we have with the Python 3 transition:
Mypy is an experimental optional static type checker for Python that aims to combine the benefits of dynamic (or "duck") typing and static typing.