GitHub repository: trump-fmi/area-server
Primary language: Python
Description: Serves area data as GeoJSON for a given bounding box