idris-geojson-model (npm): GeoJSON utilities
Keywords: GeoJSON|utility