GitHub repos by fehler

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