GitHub repos by acl2

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