GitHub repos by miracl

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