GitHub repos by Frege

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