GitHub repos by includeos

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