GitHub repos by theorydb

1 public repo by theorydb in the catalog, most starred first.