pulled live from the GitHub API — every public repo, with its description, primary language, and stars, sorted by whatever you pick below.