3 ms·

I guess mypy has 10x more users as well. People who use pyright use an IDE and they aren't likely to report a bug. https://pypistats.org/packages/mypy https://

by guappa 3y ago

I guess mypy has 10x more users as well. People who use pyright use an IDE and they aren't likely to report a bug. https://pypistats.org/packages/mypy https://pypistats.org/packages/mypy https://pypistats.org/packages/pyright https://pypistats.org/packages/pyright

diarrhea 3y ago
Ah okay, thanks for the context. The projects are quite close in terms of GitHub stars, 11k vs 16k.
- guappa 3y ago
  Stars are meaningless. There are bots putting them at random to look like legit accounts and sell them to projects.