The TIGER data seem to be a more complete source of zip codes in the US. I have no idea, though, how easily they are extractable for your purposes. Nominatim (the search engine on openstreetmap.org) uses that data to supplement OSM data.