GitHub repos by optionality

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