GitHub repos by adda-team

1 public repo by adda-team in the catalog, most starred first.