GitHub repos by scripting

10 public repos by scripting in the catalog, most starred first.

See scripting on GitHub