A static analysis tool for Python that blurs the line between testing and type systems (github.com) 5 points by sebst in: 2 years ago | discuss