GitHub repos by aladdin-add

1 public repo by aladdin-add in the catalog, most starred first.