A fast type checker and language server for Python with powerful IDE features

Navigation

Verified details

These details have been verified by PyPI
Owner
Maintainers
Avatar for aaronpollack from gravatar.com aaronpollack Avatar for rchen152 from gravatar.com rchen152

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: MIT License
  • Tags typechecker , typechecking
  • Requires: Python >=3.8
Classifiers
Report project as malware

Project description

Pyrefly: A fast type checker and language server for Python with powerful IDE features

pyrefly PyPI VS Code Open VSX Discord License: MIT

Pyrefly is a type checker and language server for Python, which provides lightning-fast type checking along with IDE features such as code navigation, semantic highlighting, and code completion. It is available as a command-line tool and an extension for popular IDEs and editors such as VSCode, Neovim, Zed, and more.

See the Pyrefly website for full documentation and how to add Pyrefly to your editor of choice.

Pyrefly's current development status is stable.

Key Features

  • Fast. Pyrefly checks over 1.85 million lines of code per second, type checking projects like PyTorch 15x faster than Mypy and Pyright. In the IDE, rechecks typically complete in under 10 milliseconds after saving a file.
  • Production-proven at scale. Pyrefly is the default type checker for Instagram's 20-million-line Python codebase at Meta, and has been adopted by large open source projects including PyTorch and JAX.
  • Full-featured language server. Code navigation, autocomplete, hover information, inlay hints, semantic highlighting, and more, with consistent results across the CLI and your editor of choice.
  • Understands real-world Python. Built-in support for frameworks like Pydantic and Django, with model validation, field types, and autocomplete that work out of the box.
  • Adoption-ready. Migrate from Mypy or Pyright with pyrefly init, silence existing errors with pyrefly suppress, and generate type annotations with pyrefly infer. Start with one file and expand at your own pace.

Getting Started

Version Policy

Pyrefly releases new minor versions (1.x.0) monthly and patch versions in between as-needed for critical fixes. Pyrefly does not follow strict semantic versioning: minor versions contain more significant changes than patch versions, but any version may introduce new type errors and other breaking changes. The pyrefly suppress command can be used to easily silence errors when upgrading to a new version.

Getting Involved

If you have questions or would like to report a bug, please create an issue.

See our contributing guide and architecture overview for information on how to contribute to Pyrefly.

Join our Discord to chat about Pyrefly and types. This is also where we hold biweekly office hours.

Project details

Verified details

These details have been verified by PyPI
Owner
Maintainers
Avatar for aaronpollack from gravatar.com aaronpollack Avatar for rchen152 from gravatar.com rchen152

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: MIT License
  • Tags typechecker , typechecking
  • Requires: Python >=3.8
Classifiers

Release history Release notifications | RSS feed

1.1.1

1.1.0

This version

1.1.0.dev2 pre-release

1.1.0.dev1 pre-release

1.0.0

0.64.1

0.64.0

0.63.1

0.63.0

0.62.0

0.61.1

0.61.0

0.60.2

0.60.1

0.60.0

0.59.1

0.59.0

0.58.0

0.57.1

0.57.0

0.56.0

0.55.0

0.54.0

0.53.0

0.52.0

0.51.2

0.51.1

0.51.0

0.50.1

0.50.0

0.49.0

0.48.2

0.48.1

0.48.0

0.47.0

0.46.3

0.46.2

0.46.1

0.46.0

0.45.2

0.45.1

0.45.0

0.44.2

0.44.1

0.44.0

0.43.1

0.43.0

0.42.3

0.42.2

0.42.1

0.42.0

0.41.3

0.41.2

0.41.1

0.41.0

0.40.1

0.40.0

0.39.4

0.39.3

0.39.2

0.39.1

0.39.0

0.38.2

0.38.1

0.38.0

0.37.0

0.36.2

0.36.1

0.36.0

0.35.0

0.34.0

0.33.1

0.33.0

0.32.0

0.31.1

0.31.0

0.30.0

0.29.2

0.29.1

0.29.0

0.28.1

0.28.0

0.27.2

0.27.1

0.27.0

0.26.1

0.26.0

0.25.1

0.25.0

0.24.2

0.24.1

0.24.0

0.23.1

0.23.0

0.22.2

0.22.1

0.22.0

0.21.0

0.20.2

0.20.1

0.20.0

0.19.2

0.19.1

0.19.0

0.18.1

0.18.0

0.17.1

0.17.0

0.16.3

0.16.2

0.16.1

0.16.0

0.15.2

0.15.1

0.15.0

0.14.1

0.14.0

0.13.1

0.13.0

0.12.1

0.12.0

0.11.1

0.11.0

0.10.2

0.10.1

0.10.0

0.9.0

0.8.0

0.7.0

0.6.0

0.5.0

0.4.0

0.3.0

0.2.0

0.1.0

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

pyrefly-1.1.0.dev2.tar.gz (5.9 MB view details)

Uploaded Source

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

pyrefly-1.1.0.dev2-py3-none-win_arm64.whl (12.8 MB view details)

Uploaded Python 3Windows ARM64

pyrefly-1.1.0.dev2-py3-none-win_amd64.whl (13.4 MB view details)

Uploaded Python 3Windows x86-64

pyrefly-1.1.0.dev2-py3-none-win32.whl (12.5 MB view details)

Uploaded Python 3Windows x86

pyrefly-1.1.0.dev2-py3-none-musllinux_1_2_x86_64.whl (13.9 MB view details)

Uploaded Python 3musllinux: musl 1.2+ x86-64

pyrefly-1.1.0.dev2-py3-none-musllinux_1_2_aarch64.whl (13.4 MB view details)

Uploaded Python 3musllinux: musl 1.2+ ARM64

pyrefly-1.1.0.dev2-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (13.8 MB view details)

Uploaded Python 3manylinux: glibc 2.17+ x86-64

pyrefly-1.1.0.dev2-py3-none-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl (14.3 MB view details)

Uploaded Python 3manylinux: glibc 2.17+ ppc64le

pyrefly-1.1.0.dev2-py3-none-manylinux_2_17_i686.manylinux2014_i686.whl (14.3 MB view details)

Uploaded Python 3manylinux: glibc 2.17+ i686

pyrefly-1.1.0.dev2-py3-none-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (13.3 MB view details)

Uploaded Python 3manylinux: glibc 2.17+ ARM64

pyrefly-1.1.0.dev2-py3-none-macosx_11_0_arm64.whl (13.0 MB view details)

Uploaded Python 3macOS 11.0+ ARM64

pyrefly-1.1.0.dev2-py3-none-macosx_10_12_x86_64.whl (13.5 MB view details)

Uploaded Python 3macOS 10.12+ x86-64

File details

Details for the file pyrefly-1.1.0.dev2.tar.gz.

File metadata

  • Download URL: pyrefly-1.1.0.dev2.tar.gz
  • Upload date:
  • Size: 5.9 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for pyrefly-1.1.0.dev2.tar.gz
Algorithm Hash digest
SHA256 14fbd767ee59b3ca602bda8a0278e0e9e2133dd8ac8de9891cbeb87d40ef1969
MD5 e86f7c90fa63a86547a579a6fa2ee64a
BLAKE2b-256 6a3cbb74268b5d375d3a3222fff8bc10d5c613446522a583729f308d3666356c

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.1.0.dev2.tar.gz:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.1.0.dev2-py3-none-win_arm64.whl.

File metadata

  • Download URL: pyrefly-1.1.0.dev2-py3-none-win_arm64.whl
  • Upload date:
  • Size: 12.8 MB
  • Tags: Python 3, Windows ARM64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for pyrefly-1.1.0.dev2-py3-none-win_arm64.whl
Algorithm Hash digest
SHA256 a53091c4211b210b54798d25d1afc67ed01a4988b3e552a8959847978c2e2788
MD5 7141c6004ffef950fce957ab3be37491
BLAKE2b-256 8e65de3da23577b33f0ef111b48d615a8388344729f53f98b592e5913f774456

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.1.0.dev2-py3-none-win_arm64.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.1.0.dev2-py3-none-win_amd64.whl.

File metadata

  • Download URL: pyrefly-1.1.0.dev2-py3-none-win_amd64.whl
  • Upload date:
  • Size: 13.4 MB
  • Tags: Python 3, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for pyrefly-1.1.0.dev2-py3-none-win_amd64.whl
Algorithm Hash digest
SHA256 593fbe7a1fcb23741c3da26e882b8c4834c13eba1538d158249a1180d91754c1
MD5 8933547dace6afc73428c37af2892a06
BLAKE2b-256 363a9803b05fcff0d429334841da2c64dabbe92f208552c7321a04b2cdf234f3

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.1.0.dev2-py3-none-win_amd64.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.1.0.dev2-py3-none-win32.whl.

File metadata

  • Download URL: pyrefly-1.1.0.dev2-py3-none-win32.whl
  • Upload date:
  • Size: 12.5 MB
  • Tags: Python 3, Windows x86
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for pyrefly-1.1.0.dev2-py3-none-win32.whl
Algorithm Hash digest
SHA256 7802cf7f333e32d652bbf3df806c4aff4d8b7715554985bd387079238074c024
MD5 779d39947a7e8df02e2fc92e6c42a4a0
BLAKE2b-256 84c88ddb730d74faaba0c4afc967446a1e68b759133365fb39609b45d6cb6192

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.1.0.dev2-py3-none-win32.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.1.0.dev2-py3-none-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for pyrefly-1.1.0.dev2-py3-none-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 e14060ddd39f1d5cb79f4fa88e5f7a5331880b0086b0bdb96584f4167e1d7817
MD5 883b87c75af68a3b15491aae828e44c2
BLAKE2b-256 68c07cb711a3b3a6f46cda8ef5d74240f6406ffdd020d903130dbe80d1d14477

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.1.0.dev2-py3-none-musllinux_1_2_x86_64.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.1.0.dev2-py3-none-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for pyrefly-1.1.0.dev2-py3-none-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 109d0e1dc3771fddfd46a559bfd487fd05b4a8a49c2ec96f39734cf003a1a8d3
MD5 7aba73bc971b57d77b1a4c75d10f7d59
BLAKE2b-256 db9700126f24df4d1b6b0798088b6fb65a26e397d5ccef72695492c2f1f50756

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.1.0.dev2-py3-none-musllinux_1_2_aarch64.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.1.0.dev2-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for pyrefly-1.1.0.dev2-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 ffca66bd4d9be25de73d32428887759cf6cd090e5a579a869a452160b22d49d9
MD5 d41c8d57e1a05f77746e1cb49cde59ad
BLAKE2b-256 e613757a01f573779749e02c89d7b8ef1decac15d88da63988c3580a5ba60991

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.1.0.dev2-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.1.0.dev2-py3-none-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl.

File metadata

File hashes

Hashes for pyrefly-1.1.0.dev2-py3-none-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 586f3276f0f04a834ed13d2b964d31a58561281111f28a40f228911db80f3ac0
MD5 26cf1b8410620ec45bc019ec73cc2da7
BLAKE2b-256 024921de34817cbe7dff7341e1835701a606c83af3c08d0151fa6a4dc89b5a2f

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.1.0.dev2-py3-none-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.1.0.dev2-py3-none-manylinux_2_17_i686.manylinux2014_i686.whl.

File metadata

File hashes

Hashes for pyrefly-1.1.0.dev2-py3-none-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 292b2920d7b1e153474ee72e45b7fff16985975ee7bfedc68f4b982cb0daa226
MD5 6264db6bc0938d86cada1a2c0bc5b03c
BLAKE2b-256 39d793e3473d4042c4d85509fd2d64d14589d834d5eacd23d0bd7daa378cf3d0

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.1.0.dev2-py3-none-manylinux_2_17_i686.manylinux2014_i686.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.1.0.dev2-py3-none-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for pyrefly-1.1.0.dev2-py3-none-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 f0bfd0a67ae708ff8c165b791ab0acfc873ac504bc52b4eb5bb0b6183e2180de
MD5 23bb0661a2e7d010386be236c93fa146
BLAKE2b-256 0df2cf805fdc706c9de8ab712256fcb5b744981ff47635d1d57c46241b15274c

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.1.0.dev2-py3-none-manylinux_2_17_aarch64.manylinux2014_aarch64.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.1.0.dev2-py3-none-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for pyrefly-1.1.0.dev2-py3-none-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 3266608a26e47b473de313df7e1da5351a3cc8142a1eb618941439152e8b34ba
MD5 c4a12894dda7cf1ed678e5e98174ac8e
BLAKE2b-256 9876f0dd8e3d372ce03c97ab30e0f54af2873d92a6042b52d57f9c6f3153bb3a

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.1.0.dev2-py3-none-macosx_11_0_arm64.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.1.0.dev2-py3-none-macosx_10_12_x86_64.whl.

File metadata

File hashes

Hashes for pyrefly-1.1.0.dev2-py3-none-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 766cec2ca0d2cc27c56058036a30ac2e56d22ee950677cddfd6c749a21092469
MD5 19fb45eca49a3d8901d012628422e6ee
BLAKE2b-256 cf656dbebd06a74b4dee0fc2ebb38c84abf9ea38c8adf0d92bd0b1fbbb5fccfa

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.1.0.dev2-py3-none-macosx_10_12_x86_64.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page