GitHub repos by marsmining

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