GitHub repos by geometer

3 public repos by geometer in the catalog, most starred first.

See geometer on GitHub