GitHub repos by robfig

3 public repos by robfig in the catalog, most starred first.