GitHub repository: Acidburn0zzz/CrossHair
Description: A static analysis tool for Python that blurs the line between testing and type systems.