GitHub repos by manuel

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