https://github.com/facebook/pyre-check

Performant type-checking for python.
https://github.com/facebook/pyre-check

abstract-interpretation code-quality control-flow-analysis ocaml program-analysis python security static-analysis taint-analysis type-check typechecker

Last synced: about 2 months ago
JSON representation

Performant type-checking for python.

• Host: GitHub
• URL: https://github.com/facebook/pyre-check
• Owner: facebook
• License: mit
• Created: 2017-11-10T17:31:36.000Z (almost 7 years ago)
• Default Branch: main
• Last Pushed: 2024-04-22T12:01:01.000Z (5 months ago)
• Last Synced: 2024-04-22T13:07:17.306Z (5 months ago)
• Topics: abstract-interpretation, code-quality, control-flow-analysis, ocaml, program-analysis, python, security, static-analysis, taint-analysis, type-check, typechecker
• Language: OCaml
• Homepage: https://pyre-check.org/
• Size: 113 MB
• Stars: 6,689
• Watchers: 112
• Forks: 425
• Open Issues: 152
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.es.md
  • License: LICENSE
  • Code of conduct: CODE_OF_CONDUCT.md
  • Roadmap: ROADMAP.md

Awesome Lists containing this project

• awesome-ccamel - facebook/pyre-check - Performant type-checking for python. (OCaml)
• awesome-python-resources - GitHub - 28% open · ⏱️ 26.08.2022): (代码分析和 Lint 工具)
• awesome-repositories - facebook/pyre-check - Performant type-checking for python. (OCaml)
• awesome-starts - facebook/pyre-check - Performant type-checking for python. (OCaml)
• awesome-robotic-tooling - pyre-check - Performant type-checking for python. (Development Environment / Debugging and Tracing)
• awesome-list - Pyre - Performant type-checking for python. (Containers & Language Extentions & Linting / For Python)
• best-of-python-dev - GitHub - 36% open · ⏱️ 29.05.2024): (Type checkers)
• awesome-python-typing - pyre infer - Pyre has a powerful feature for migrating codebases to a typed format. The [infer](https://pyre-check.org/docs/pysa-coverage/) command-line option ingests a file or directory, makes educated guesses about the types used, and applies the annotations to the files. (Tools / Helper tools to add annotations to existing code)
• starred-awesome - pyre-check - Performant type-checking for python. (OCaml)
• jimsghstars - facebook/pyre-check - Performant type-checking for python. (OCaml)
• StarryDivineSky - facebook/pyre-check: Performant type-checking for python.