Search tools, frameworks, libraries, categories and domains
Pick up to four tools and compare adoption, momentum and maintenance at a glance. The crown marks the leader in each row.
| Metric | Pyrefly | TypeScript | mypy | Pyright |
|---|---|---|---|---|
| Stars | 7.2k | 112k | 20.7k | 15.7k |
| Weekly downloads | 2.7M | 418M | 48M | 1.4M |
| Download growth | +39% | +30% | +29% | +27% |
| Popularity score | 75/100 | 96/100 | 87/100 | 76/100 |
| Forks | 592 | 15.1k | 3.4k | 1.8k |
| Open issues | 582 | 5.3k | 3.2k | 403 |
| Last commit | 4d ago | 2d ago | today | 5d ago |
| Latest version | 1.4.1Nov 5, 2026 | 7.0.2 | 2.4.1Oct 28, 2026 | 1.1.414 |
| License | MIT | Apache-2.0 | n/a | n/a |
| First released | 2025 | 2014 | 2012 | 2019 |
| Signals | New | Popular | Popular | Popular |
| Listed in | Languages & Runtimes › Type Checkers & Compilers | Frontend › Languages, Runtimes & Package ManagersLanguages & Runtimes › Most-Used LanguagesLanguages & Runtimes › Type Checkers & Compilers | Languages & Runtimes › Type Checkers & Compilers | Languages & Runtimes › Type Checkers & Compilers |
Hover for exact values; switch to log scale for tools of very different sizes. Not shown (no comparable download data): TypeScript, Pyright.