Some additional repos to consider:
php-leaflet — PHP Leaflet maps definition library.
leaflet — Clone of leaflet module for D8
grav-plugin-leaflet — Grav Leaflet Plugin
aws-leaflet — this project uses an amazon web services relational database (postgres with the postgis extension) to power a leaflet visualization
Once a week...... I send out a list of most interesting PHP libraries and apps.
Want to get it?