GitHub repos by erlnets

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