Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / facebook / pyre-check

Performant type-checking for python.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/facebook%2Fpyre-check

Stars: 6,689
Forks: 425
Open Issues: 152

License: mit
Language: OCaml
Repo Size: 113 MB
Dependencies: 1,453

Created: over 6 years ago
Updated: 11 days ago
Last pushed: 12 days ago
Last synced: 12 days ago

Commit Stats

Commits: 15408
Authors: 281
Mean commits per author: 54.83
Development Distribution Score: 0.877
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/facebook/pyre-check

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

Files
    Loading...
    Readme
    Loading...
    Dependencies
    scripts/setup.py pypi
    documentation/website/package.json npm
    tools/ide_plugins/pysa-vscode/package.json npm
    tools/ide_plugins/vscode/package.json npm
    documentation/deliberately_vulnerable_flask_app/requirements.txt pypi
    requirements-dev.txt pypi
    requirements.txt pypi
    tools/playground/requirements.txt pypi
    .github/workflows/lint.yml actions
    .github/workflows/publish_website.yml actions
    .github/workflows/pyre.yml actions
    .github/workflows/pysa.yml actions
    .github/workflows/tests.yml actions
    documentation/pysa_tutorial/Dockerfile docker
    client/tests/setup.py pypi
    pyproject.toml pypi
    scripts/pypi/setup.py pypi
    documentation/website/yarn.lock npm