Explore Languages

Distinct primary languages across the public feed, most-common first.

Backs the Explore language filter so its options come from the whole corpus (deduped per repo), not just the cards the client has loaded.