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