GitHub repos by open-goal

2 public repos by open-goal in the catalog, most starred first.