devSparkle/Overture

Source code management engine for Roblox.

Language: Luau - Size: 123 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 14 - Forks: 2

onthegomap/planetiler

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

Language: Java - Size: 60.6 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1,596 - Forks: 129

overture-stack/website

Overture.bio website, based on Gatsby static site generator

Language: JavaScript - Size: 62.3 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 1 - Forks: 2

osgeonepal/obe

Open Buildings Extractor

Language: Jupyter Notebook - Size: 2.74 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 0

devSparkle/overture-vscode

Types, snippets, and autocomplete support for Overture in VS Code.

Language: JavaScript - Size: 176 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 1

alexichepura/bevy_overture_maps

example to render overture maps in bevy

Language: Rust - Size: 433 KB - Last synced at: 16 days ago - Pushed at: over 1 year ago - Stars: 31 - Forks: 5

overturetool/overture

The Overture Tool

Language: Java - Size: 210 MB - Last synced at: 25 days ago - Pushed at: 7 months ago - Stars: 50 - Forks: 24

Cloud-inspired-Music-Team/Inspired-Music

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

Language: Python - Size: 635 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 1

CUB3D/AUR-overture-tool 📦

AUR package for overture tool from http://overturetool.org

Language: Shell - Size: 14.6 KB - Last synced at: 15 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

aon3ko/overture-openwrt

An OpenWrt wrapper for overture DNS forwarder.

Language: Shell - Size: 19.5 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 4

devSparkle/sModules 📦

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

Language: Lua - Size: 30.3 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 5

UnnamedCorp/Maid 📦

A hassle-free Roblox library to manage object cleanup!

Language: Lua - Size: 9.77 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0

SgrAlpha/ubuntu-transparent-proxy

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

Size: 98.6 KB - Last synced at: 19 days ago - Pushed at: about 5 years ago - Stars: 6 - Forks: 2

Pratilectron/Overture

Official Overture Mobile Application

Size: 22 MB - Last synced at: 6 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

SharerMax/openwrt-overture

Language: Makefile - Size: 1.95 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

thecml/ertms-modelling-vdm

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

Language: TeX - Size: 6.12 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 1

icgc-argo/song-qc-module

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

Language: Python - Size: 38.1 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

overturetool/externaltests

External tests for the Overture tool

Size: 832 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

EdgarACarneiro/feup-mfes Fork of AndreFCruz/feup-mfes

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

Language: Java - Size: 3.25 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

aquelemiguel/feup-mfes

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

Language: Java - Size: 3.9 MB - Last synced at: 11 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1