# facebook/pyre-check

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/facebook-pyre-check).**

7,169 stars · 453 forks · OCaml · MIT

## Links

- GitHub: https://github.com/facebook/pyre-check
- Homepage: https://pyre-check.org/
- awesome-repositories: https://awesome-repositories.com/repository/facebook-pyre-check.md

## Description

Performant type-checking for python.

## Tags

### Part of an Awesome List

- [Debugging And Tracing](https://awesome-repositories.com/f/awesome-lists/devtools/debugging-and-tracing.md) — Performant type-checking for Python.
- [Type Checkers](https://awesome-repositories.com/f/awesome-lists/devtools/type-checkers.md) — High-performance type checking designed for large-scale codebases.