GitHub repos by compdemocracy

1 public repo by compdemocracy in the catalog, most starred first.