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