facebook/pyre-check

Performant type-checking for python.

OCamlPythonCStandard MLShellTypeScriptpythonsecuritytypecheckerstatic-analysisocamlcontrol-flow-analysiscode-qualityprogram-analysistaint-analysisabstract-interpretationtype-check
This is stars and forks stats for /facebook/pyre-check repository. As of 26 Apr, 2024 this repository has 6493 stars and 458 forks.

Pyre is a performant type checker for Python compliant with PEP 484. Pyre can analyze codebases with millions of lines of code incrementally – providing instantaneous feedback to developers as they write code. You can try it out on examples in the Pyre Playground. Pyre ships with Pysa, a security focused static analysis tool we've built on top of Pyre that reasons about data flows in Python applications. Please refer to our documentation to get started with our security analysis. Pysa is also available...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
bcpierce00/unisonOCamlStandard MLObjective-C3.3k+11207+1
astrada/google-drive-ocamlfuseOCamlOther5.2k+7394+5
BinaryAnalysisPlatform/bapOCamlCommon LispC++1.9k-12750
ocaml/duneOCamlPowerShellC1.4k+73700
facebook/inferOCamlSMTJava14.4k+142.2k+1
openvinotoolkit/cvatTypeScriptPythonJavaScript10.2k+262.5k+8
open-policy-agent/gatekeeper-libraryOpen Policy AgentGoShell56503000
Checkmarx/kicsOpen Policy AgentHCLGo1.7k+3268+1
Qiskit/qiskitPythonRustOpenQASM3.9k02.1k0
p4lang/tutorialsP4PythonShell1.1k08220