GitHub repos by drh

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