GitHub's Star page is categorized by programming language, but I wanted to categorize it by the tags I gave it, so I made GitHubTags.