GitHub repos by infix-de

1 public repo by infix-de in the catalog, most starred first.