GitHub repos by opennars

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