GitHub repos by dealias

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