...or nixpkgs they have the most packages of any distro (although, I don't know if they also count all the language specific libs like from pypi, npm, crates, etc.)
Yes, most packages are auto-generated from those. When it comes to manually generated packages AUR should still be #1. Not that I ever missed any packages in nixpkgs...