GitHub repos by prechelt

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