GitHub repos by mudmin

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