GitHub repos by riscv-verification

1 public repo by riscv-verification in the catalog, most starred first.