GitHub repos by redcode

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