GitHub repos by rocq-archive

1 public repo by rocq-archive in the catalog, most starred first.