GitHub repos by auto-differentiation

1 public repo by auto-differentiation in the catalog, most starred first.