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...
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...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
bcpierce00/unison | OCamlStandard MLObjective-C | 3.3k | +11 | 207 | +1 |
astrada/google-drive-ocamlfuse | OCamlOther | 5.2k | +7 | 394 | +5 |
BinaryAnalysisPlatform/bap | OCamlCommon LispC++ | 1.9k | -1 | 275 | 0 |
ocaml/dune | OCamlPowerShellC | 1.4k | +7 | 370 | 0 |
facebook/infer | OCamlSMTJava | 14.4k | +14 | 2.2k | +1 |
openvinotoolkit/cvat | TypeScriptPythonJavaScript | 10.2k | +26 | 2.5k | +8 |
open-policy-agent/gatekeeper-library | Open Policy AgentGoShell | 565 | 0 | 300 | 0 |
Checkmarx/kics | Open Policy AgentHCLGo | 1.7k | +3 | 268 | +1 |
Qiskit/qiskit | PythonRustOpenQASM | 3.9k | 0 | 2.1k | 0 |
p4lang/tutorials | P4PythonShell | 1.1k | 0 | 822 | 0 |