vercel.land
Explore
Trending
Roadmaps
More
Submit
Command Palette
Search for a command to run...
Home
Search
Blog
Trending
More
1
Help
Back to Directory
Overview
Contributors
Languages
Releases
Home
/
facebook/pyre-check
F
pyre-check
Organization
by
facebook
Performant type-checking for python.
View on GitHub
Clone
Favorite
Add to Collection
#abstract-interpretation
#code-quality
#control-flow-analysis
#ocaml
#program-analysis
#python
#security
#static-analysis
+3 more
7.1k
Stars
451
Forks
7.1k
Watchers
155
Issues
Repository Details
Created
Nov 10, 2017
Last Updated
Feb 25, 2026
Primary Language
OCaml
License
Repository Size
556.9k KB
Quick Actions
Open in GitHub
Clone Repository
Favorite
Overview
Info
Files
Contributors
People
Languages
Code
Releases
Dev Toolkit
Tools
Project Overview
About this repository
Performant type-checking for python.
Technologies & Topics
abstract-interpretation
code-quality
control-flow-analysis
ocaml
program-analysis
python
security
static-analysis
taint-analysis
type-check
typechecker
Default Branch
main
README
facebook/pyre-check - vercel.land | Awesome Projects