geoindex

September 12, 2019 · View on GitHub

Simplified interface and extension utilities for a geospatial indexes.