meta/pyrefly
A fast type checker and language server for Python
Build with Backblaze B2
SDKs, agent skills, IDE extensions, and reference pipelines from Backblaze Labs. All open source.
Loading star history...
Where it stands
Rank, growth pace and release cadence relative to everything GStars tracks.
5 releases in the last 90 days, the latest 2 days ago, with 338 contributors on GitHub.
Peaked at #30 in the weekly ranking the week of Nov 30, its best in the past year.
Use Cases & Benefits
- Provides a fast type checker and language server for Python to improve code quality and IDE support.
- Delivers high performance and large-scale incremental type checking using Rust and module-level parallelism.
- Use for integrating efficient type checking and type inference into Python development workflows.
- Use for enhancing IDEs like VSCode with real-time Python type checking and language server features.
- Use for analyzing and refining Python codebases with complex control flow and type annotations.
Should you depend on it?
License terms, project hygiene and risks, from GitHub metadata and GStars' snapshots.
License
MIT
Permissive: commercial use, modification and redistribution are allowed with attribution.
Community files
- README: present
- Contributing guide: present
- Code of conduct: present
Watch-outs
No watch-outs from GStars' checks.
General guidance from repository metadata, not legal advice. How we score
From the README
Currently under active development with known issues. Please open an issue if you find bugs.
Pyrefly is a fast type checker for Python. It's designed to replace the existing Pyre type checker at Meta by the end of 2025. This README describes basic usage. See the Pyrefly website for full documentation and a tool for checking code.
Pyrefly aims to increase development velocity with IDE features and by checking your Python code.
Daily snapshots
Stars gained per day, and how forks and open issues moved, from GStars' daily snapshots
+302 stars over 85 days across 9 snapshot days; best day +3 on Sep 13.
Forks
592+113
Open issues
576-105
Compared with peers in Developer Tools
Fastest-growing repositories GStars tracks in this cohort for the week of Nov 8, by 7-day star growth
| Repository | Stars | +7d | Health | Last release |
|---|---|---|---|---|
| stablyai/orca | 121.4K | +6.7K | 75 | today |
| DietrichGebert/ponytail | 188.4K | +4.4K | 75 | 12 days ago |
| affaan-m/ECC | 300.8K | +4.3K | 75 | 40 days ago |
| herdrdev/herdr | 50.0K | +2.1K | 75 | 27 days ago |
| max-sixty/worktrunk | 12.4K | +1.9K | 75 | 21 days ago |
| meta/pyrefly | 7.2K | — | 65 | 2 days ago |
| Category median | 121.4K | +4.3K | 75 | — |
Also by meta
Other repositories from this maintainer that GStars tracks
- C++30.6K stars
folly
An open-source C++ library developed and used at Facebook.
- C28.2K stars
zstd
Zstandard - Fast real-time compression algorithm
- TypeScript24.0K stars
lexical
Lexical is an extensible text editor framework that provides excellent reliability, accessibility and performance.
- TypeScript22.8K stars
astryx
An open source design system that's fully customizable and agent ready
- Rust22.3K stars
flow
Adds static typing to JavaScript to improve developer productivity and code quality.
Discover Repositories
Search across tracked repositories by name or description