GitHub repos by norvig

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