# meta/pyre-check

<https://repo.masters-masters.com/en/repos/meta/pyre-check>

[Home](https://repo.masters-masters.com/en) › [meta](https://repo.masters-masters.com/en/owners/meta) › [pyre-check](https://repo.masters-masters.com/en/repos/meta/pyre-check)

meta/pyre-check has 7,180 stars on GitHub. Its RepoMasters card: Stable tier. Performant type-checking for python. Language: OCaml.

| Field | Value |
| --- | --- |
| Owner | [meta](https://repo.masters-masters.com/en/owners/meta) |
| Stars | 7,180 |
| Forks | 448 |
| Language | [OCaml](https://repo.masters-masters.com/en/languages/ocaml) |
| License | MIT |
| Created | 2017 |
| Topics | python, typechecker, type-check, static-analysis, ocaml, code-quality, abstract-interpretation, security, program-analysis, taint-analysis |
| Tier | [Stable (5,000 to 19,999 ★)](https://repo.masters-masters.com/en/ranks/cult) |
| View on GitHub | [meta/pyre-check](https://github.com/meta/pyre-check) |

## Repository

Performant type-checking for python.

Archived: this repository is read-only

The tier for repos with 5,000 to 19,999 ★. Published odds per card pulled: 0.9%. Rarity: Very rare.

## More repos by meta

- [meta/docusaurus · ★ 66,648 · TypeScript · LTS](https://repo.masters-masters.com/en/repos/meta/docusaurus)
- [meta/rocksdb · ★ 32,239 · C++ · LTS](https://repo.masters-masters.com/en/repos/meta/rocksdb)
- [meta/folly · ★ 30,557 · C++ · LTS](https://repo.masters-masters.com/en/repos/meta/folly)
- [meta/zstd · ★ 28,156 · C · LTS](https://repo.masters-masters.com/en/repos/meta/zstd)
- [meta/lexical · ★ 23,992 · TypeScript · LTS](https://repo.masters-masters.com/en/repos/meta/lexical)
- [meta/flow · ★ 22,307 · Rust · LTS](https://repo.masters-masters.com/en/repos/meta/flow)

## Nearby in OCaml

- [meta/infer · ★ 15,742 · OCaml · Stable](https://repo.masters-masters.com/en/repos/meta/infer)
- [reasonml/reason · ★ 10,337 · OCaml · Stable](https://repo.masters-masters.com/en/repos/reasonml/reason)
- [rescript-lang/rescript · ★ 7,475 · OCaml · Stable](https://repo.masters-masters.com/en/repos/rescript-lang/rescript)
- [ocaml/ocaml · ★ 6,614 · OCaml · Stable](https://repo.masters-masters.com/en/repos/ocaml/ocaml)
- [janestreet/magic-trace · ★ 6,345 · OCaml · Stable](https://repo.masters-masters.com/en/repos/janestreet/magic-trace)
- [astrada/google-drive-ocamlfuse · ★ 5,984 · OCaml · Stable](https://repo.masters-masters.com/en/repos/astrada/google-drive-ocamlfuse)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.