pyre：python 3的表演类型检查器

由地下构建，以支持逐步打字并提供响应增量检查。 具有数百万条Python的大码条上的表演。 旨在通过在您的终端中以交互方式销售型错误来帮助提高代码质量和开发速度，或者在您喜欢的编辑器中生活。 遵循PEP 484,526,612中引入的键入标准，并正在积极开发和不断提高。 PYRE船用PYSA，一种安全的静态分析工具，我们＆＃39;在刻度下Python应用程序中的数据流构建。