GitHub repos by lemma-work

1 public repo by lemma-work in the catalog, most starred first.