GitHub repos by minilogic

1 public repo by minilogic in the catalog, most starred first.