Flexible tool to build planet-scale vector tilesets from OpenStreetMap data fast

Easy programmatic access to geographic administrative boundaries

The Overture Tool

example to render overture maps in bevy

Source code management engine for Roblox.

This is a HOW-TO documentation about building a transparent proxy on Ubuntu 18.04

A selection of modules built to work with the Overture engine that speed-up the game development process.

An OpenWrt wrapper for overture DNS forwarder.

Open Buildings Extractor

用于overture的openwrt服务

An Overture project that models ERTMS level 2 and interlocking properties in VDM++.

Overture.bio website, based on Gatsby static site generator

This project stores the inspired music proposed by the Cloud-inspired Music Team, GooseBt Studio, Universe Organization.

🪝 A hook project enables the WireGuard VPN client for 64-bit x86 architecture on Windows systems to implement IP splitting and DNS splitting.

🛠️ Enable WireGuard VPN on Windows systems for IP and DNS splitting with this straightforward hook project. Simplify your VPN configuration today.

🛠 Formal modelling of a distributed printing service in VDM++ using the Overture Tool.

Formal modelling of GitHub in VDM++ ; in collaboration with @AndreFCruz and @joao-conde

A wrapper of overture DNS forwarder for OpenWrt.

A QC module for Song that performs icgc-argo specific validations of song submissions