idris-gpx (npm): Convert GPX to GeoJSON
Keywords: GPX|GeoJSON