Flexible tool to build planet-scale vector tilesets from OpenStreetMap data fast
-
Updated
Sep 4, 2024 - Java
Flexible tool to build planet-scale vector tilesets from OpenStreetMap data fast
The Overture Tool
Formal modelling of GitHub in VDM++ ; in collaboration with @AndreFCruz and @joao-conde
🛠 Formal modelling of a distributed printing service in VDM++ using the Overture Tool.
Add a description, image, and links to the overture topic page so that developers can more easily learn about it.
To associate your repository with the overture topic, visit your repo's landing page and select "manage topics."