Some more projects to check

[A5rocks]

I would add these myself (well, I will if nobody has done the work for me in a couple days) but whatever, don't really feel like doing this right now:

• ~https://github.com/internetarchive/openlibrary (deps are types-PyYAML types-python-dateutil types-requests types-simplejson types-Deprecated and run mypy openlibrary --python-version 3.10)~ Internet Archive is a great service, and, well, this project seems to keep up to date with mypy (no errors against latest mypy!) This is the only project I went through the effort to minimize dependencies for....
• https://github.com/ankitects/anki Anki is used quite a bit and has a quite a bit of python code.
• https://github.com/renpy/renpy Uses pyright (not in strict mode, though) and is used in games.
• https://github.com/RobertCraigie/prisma-client-py I'm not quite sure if this can be added to mypy primer. But it's got a mypy plugin and Prisma clients are heavily type dependent (based on my experience with the TypeScript one, lol).