A system for Python that generates static type annotations by collecting runtime types - View it on GitHub