GitHub repos by regehr

2 public repos by regehr in the catalog, most starred first.