GitHub repos by laberning

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