KiCad Project Explorer aka Reporecon finds around 28000 KiCad projects on github. Unfortunately Github remains more popular then Gitlab or other GIT collection sides after microsofts takeover.
I do not know the extend of the goals behind the Made with KiCad section on the KiCad website. I guess that they only want high quality projects that show off KiCad’s capabilities. For something like “all sorts of KiCad projects” some system would be needed so people can manage and add their own projects. A bit similar to:
https://oshpark.com/shared_projects
https://community.aisler.net/c/great-projects/great-projects/76
https://dirtypcbs.com/store/designer/pcbs?p=4
https://oshwlab.com/
https://www.elektormagazine.com/labs
There are also PCB design suites that have an online version (altium, EasyEDA) and for those, projects made by users are added automatically to a database, and are viewable and browsable by others. I looked at them some time ago. On first sight the amount of projects look impressive (several thousand), but there are lots of copies / forks of the same project, half made projects by someone just trying something out, or projects that are so simple it’s hardly worth copying (a blinking LED).