GitHub repos by minix3

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