dechristopher / tegola-omt Sponsor Star 33 Code Issues Pull requests OpenMapTiles import procedure and configuration for the Tegola tileserver. go map postgres tile vector openstreetmap osm postgresql mapbox omt openmaptiles imposm mvt imposm3 tegola maplibre maplibre-gl-js Updated Oct 17, 2021 JavaScript
PatrickTrentin88 / wcet_omt Star 2 Code Issues Pull requests Semantic-Based Worst Case Execution Time of Loop-Free C Programs using Optimization Modulo Theory smt worst-case-execution-time wcet smt2 omt optimization-modulo-theory Updated Feb 17, 2017 Shell
francostramana / multitrack-player Star 1 Code Issues Pull requests A web based Multitrack Audio Player using the OMT model 🎶 worker thread omt webworker Updated Dec 6, 2022 WebAssembly