GitHub repos by uclid-org

1 public repo by uclid-org in the catalog, most starred first.