GitHub repos by efc2

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