GitHub repos by logic-building

1 public repo by logic-building in the catalog, most starred first.