| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Sat, 27 Dec 2025 14:21:47 GMT
access-control-allow-origin: *
etag: W/"694feb7b-5c96"
expires: Sun, 28 Dec 2025 06:00:10 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 24E2:2F7ECD:7480E0:82838E:6950C512
accept-ranges: bytes
age: 0
date: Sun, 28 Dec 2025 05:50:11 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210053-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766901011.886488,VS0,VE200
vary: Accept-Encoding
x-fastly-request-id: bf774cc77738fba904c7e8cf74107440118d0f68
content-length: 6398
Pyrefly: A Fast Python Type Checker and Language Server | Pyrefly
Get VSCode Extension 0.0s0.0s0.0s
A fast type checker and language server for Python with powerful IDE features
$ pip install pyrefly && pyrefly initScale with Confidence
Type check over 1.85 million lines of code per second.ⓘTested using Meta infrastructure (166 cores, 228 GB RAM)
Developer Delight
Get lightning fast autocomplete, and catch errors with instant feedback in your favorite editor.
Support at your Fingertips
Have questions or feedback to share? Connect with us on Discord
Performance Comparison
Type checking the PyTorch codebase from scratch.ⓘTested using Macbook
(10 cores: 8 performance + 2 efficiency cores, 32 GB RAM)
(10 cores: 8 performance + 2 efficiency cores, 32 GB RAM)
PyreflyⓘCommand: "pyrefly check"
Pyrefly uses as many threads as possible
Pyrefly uses as many threads as possible
PyrightⓘCommand: "pyright --threads=8"
8 threads yielded the best performance after testing multiple settings
8 threads yielded the best performance after testing multiple settings
MyPyⓘCommand: "dmypy run"