A performant type-checker for Python 3.

Pyre is a performant type checker for Python compliant with PEP 484. Pyre can analyze codebases with millions of lines of code incrementally – providing instantaneous feedback to developers as they write code. You can try it out on examples in the Pyre Playground.

• Pyre @ GitHub.

Related contents:

• Pysa: An open source static analysis tool to detect and prevent security issues in Python code @ Engineering at Meta.

Flow is a static type checker for JavaScript.

Flow @ GitHub.

VineJS is a form data validation library for Node.js. You may use it to validate the HTTP request body in your backend applications.

VineJS @ GitHub.

Super-fast Runtime validator (type checker) with only one line.

typia is a transformer library of TypeScript, supporting below features:

• Super-fast Runtime Validators
• Safe JSON parse and fast stringify functions
• JSON schema generator
• Random data generator