GitHub repos by JikesRVM

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