overture

There are 0 repository under overture topic.

• onthegomap / planetiler

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

  vector-tilesopenstreetmaposmmapsoverture
  Language:Java 1185

• overturetool / overture

  The Overture Tool

  vdmvdm-slvdmppvdmrtideformal-methodsovertureeclipsejavacode-generation
  Language:Java 48

• alexichepura / bevy_overture_maps

  example to render overture maps in bevy

  bevymapsoverture
  Language:Rust 22

• devSparkle / Overture

  Source code management engine for Roblox.

  robloxovertureluau
  8

• devSparkle / sModules

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

  robloxovertureluau
  Language:Lua 6

• SgrAlpha / ubuntu-transparent-proxy

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

  ubuntuoverturednsmasqtransparent-proxyshadowsocksshadowsocks-libevss-redirss-tunneldns
  6

• aon3ko / overture-openwrt

  An OpenWrt wrapper for overture DNS forwarder.

  overtureopenwrt
  Language:Shell 5

• thecml / ertms-modelling-vdm

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

  vdmovertureertmsmodellingtrains
  Language:TeX 2

• Xusser / openwrt_overture_script

  用于overture的openwrt服务

  overtureopenwrtservicescript
  Language:Shell 2

• CUB3D / AUR-overture-tool

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

  aurarch-linuxvdmoverture
  Language:Shell 1

• lasere77 / novarys

  very simple PC emulator (OVERTURE)

  emulatorovertureturing-complete
  Language:C++ 1

• overture-stack / website

  :construction: Overture.bio website, based on Gatsby static site generator

  hacktoberfestgatsbyoverturegenomicsgenomic-data-sciencegenomic-data
  Language:JavaScript 1

• SharerMax / openwrt-overture

  overtureopenwrt-packagedns
  Language:Makefile 1

• devSparkle / overture-vscode

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

  overturerobloxvscode
  Language:JavaScript 0

• Pratilectron / Overture

  Official Overture Mobile Application

  mobilemobile-appcross-platformovertureovertureonline
  0

• aquelemiguel / feup-mfes

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

  vdmvdmppovertureformal-models
  Language:Java

• EdgarACarneiro / feup-mfes

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

  feupfeup-mfesmfesoverturevdmpp
  Language:Java

• icgc-argo / song-qc-module

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

  hactoberfestsongoverture
  Language:Python

• muink / overture-openwrt

  A wrapper of overture DNS forwarder for OpenWrt.

  openwrtopenwrt-packageoverture
  Language:Shell

• overturetool / externaltests

  External tests for the Overture tool

  vdmvdm-slvdmppvdmrttestingoverture