Explore Projects

Discover 1 open source projects

Active filters (1):
Search: control-flow-analysisร—
Clear all

Showing 1-1 of 1 projects

facebook/pyre-check

Performant type-checking for Python, built with OCaml, focused on code quality, security, and static analysis.

7.1K
Active
OCaml
Linters & Formatters
Security Research
#type-checking#static-analysis#code-quality

Stay in the loop

Get weekly updates on trending AI coding tools and projects.