Leaflet-velocity-rs example How to build cargo install trunk trunk serve browse http://localhost:8000