StableVery rare
meta/pyre-check
Performant type-checking for python.
Archived: this repository is read-only
- Owner
- meta (organization)
- Stars
- Stars: 7,180
- Forks
- Forks: 448
- Language
- OCaml
- License
- MIT
- Created
- 2017
- Topics
- pythontypecheckertype-checkstatic-analysisocamlcode-qualityabstract-interpretationsecurityprogram-analysistaint-analysis
- Tier
- Stable (5,000 to 19,999 ★) What this tier means
More repos by meta
All 109 repos by meta- meta/docusaurusStars: 66,641TypeScriptLTS
- meta/rocksdbStars: 32,241C++LTS
- meta/follyStars: 30,556C++LTS
- meta/zstdStars: 28,154CLTS
- meta/lexicalStars: 23,991TypeScriptLTS
- meta/flowStars: 22,309RustLTS
Nearby in OCaml
All OCaml repos- meta/inferStars: 15,741OCamlStable
- reasonml/reasonStars: 10,337OCamlStable
- rescript-lang/rescriptStars: 7,476OCamlStable
- ocaml/ocamlStars: 6,615OCamlStable
- janestreet/magic-traceStars: 6,345OCamlStable
- astrada/google-drive-ocamlfuseStars: 5,982OCamlStable