GitHub repos by ecrl

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