A Static Type Checker for Python.

• Pyrefly @ GitHub.

Related contents:

• Pyrefly vs. ty: Comparing Python’s Two New Rust-Based Type Checkers @ Edward Li's Blog.

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.

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

🧙‍♀️ Move Fast and Break Nothing. End-to-end typesafe APIs made easy.

Experience the full power of TypeScript inference to boost productivity for your full-stack application.

tRPC allows you to easily build & consume fully typesafe APIs without schemas or code generation.

• tRPC @ GitHub.

Related contents:

• The Multi-Repository TypeScript Problem @ carrick.

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.

An extremely fast Python type checker, written in Rust.

• ty @ GitHub.

Related contents:

• ty: An extremely fast Python type checker and LSP @ Astral.

An extremely fast Python type checker and language server, written in Rust.

Related contents:

• Pyrefly vs. ty: Comparing Python’s Two New Rust-Based Type Checkers @ Edward Li's Blog.