vercel.land
vercel.land
Explore
Trending
Categories
Roadmaps
Community
/
Submit
Command Palette
Search for a command to run...
Home
Search
Blog
Trending
More
1
Help
facebook/pyre-check - vercel.land | Awesome Projects
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
452
Forks
7.1k
Watchers
157
Issues
Repository Details
Created
Nov 10, 2017
Last Updated
Dec 18, 2025
Primary Language
OCaml
License
Repository Size
537.5k 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