GitHub repos by erdos

2 public repos by erdos in the catalog, most starred first.