omt

There are 3 repositories under omt topic.

dechristopher/tegola-omt
OpenMapTiles import procedure and configuration for the Tegola tileserver.
Language:JavaScript34 5 13
PatrickTrentin88/wcet_omt
Semantic-Based Worst Case Execution Time of Loop-Free C Programs using Optimization Modulo Theory
Language:Shell2 2 20
francostramana/multitrack-player
A web based Multitrack Audio Player using the OMT model :notes:
Language:WebAssembly1 1 00