GitHub repos by precondition

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

See precondition on GitHub