Use maplibre to render GeoJSON

[davidbrochart]

Problem

We currently use Leaflet.js for our GeoJSON renderer, which has performance issues with large datasets.

Proposed Solution

We could use MapLibre GL and in particular @neocarto's geoverview, which provides some nice information such as polygon area or line length.

See https://observablehq.com/@neocartocnrs/geoverview.

[welcome]

Thank you for opening your first issue in this project! Engagement like this is essential for open source projects! 🤗

If you haven't done so already, check out Jupyter's Code of Conduct. Also, please try to follow the issue template as it helps other other community members to contribute more effectively.

You can meet the other Jovyans by joining our Discourse forum. There is also an intro thread there where you can stop by and say Hi! 👋

Welcome to the Jupyter community! 🎉