GitHub repos by riiid

2 public repos by riiid in the catalog, most starred first.