GitHub repos by ampl

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