For the client library, it's interesting that they are bullish on leaflet rather than mapbox-gl-js. After playing with their respective demos, I found that the latter seems much smoother and prettier.