GitHub repos by might-fail

1 public repo by might-fail in the catalog, most starred first.