GitHub repos by minicomp

2 public repos by minicomp in the catalog, most starred first.