GitHub repos by texei

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