GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → overturetool → overture

overturetool / overture

Licence: GPL-3.0 license
The Overture Tool

Programming Languages

java
68154 projects - #9 most used programming language
Xtend
68 projects
C++
36643 projects - #6 most used programming language
HTML
75241 projects
TeX
3793 projects
Batchfile
5799 projects

Labels

eclipseidevdmformal-methodscode-generationvdm-slvdmppvdmrtoverture

Projects that are alternatives of or similar to overture

Rustdt
RustDT is an Eclipse based IDE for the Rust programming language:
Stars: ✭ 351 (+680%)
Mutual labels:  eclipse, ide
wollok
Wollok Programming Language
Stars: ✭ 54 (+20%)
Mutual labels:  eclipse, ide
Samples
JavaFX samples to run with different options and build tools
Stars: ✭ 352 (+682.22%)
Mutual labels:  eclipse, ide
Che
The Kubernetes-Native IDE for Developer Teams
Stars: ✭ 6,572 (+14504.44%)
Mutual labels:  eclipse, ide
Jhipster Ide
An IDE for the JHipster Domain Language
Stars: ✭ 109 (+142.22%)
Mutual labels:  eclipse, ide
Pydev
Python IDE for Eclipse
Stars: ✭ 306 (+580%)
Mutual labels:  eclipse, ide
Goclipse
Eclipse IDE for the Go programming language:
Stars: ✭ 832 (+1748.89%)
Mutual labels:  eclipse, ide
openjfx-docs
Getting started guide for JavaFX 11
Stars: ✭ 70 (+55.56%)
Mutual labels:  eclipse, ide
Goomph
IDE as build artifact
Stars: ✭ 108 (+140%)
Mutual labels:  eclipse, ide
So Eclipse Plugin
Eclipse plugin that enables you to get answers from Stack Overflow directly to your IDE 🔥
Stars: ✭ 84 (+86.67%)
Mutual labels:  eclipse, ide
Gradle And Eclipse Rcp
Gradle and Eclipse RCP
Stars: ✭ 37 (-17.78%)
Mutual labels:  eclipse, ide
eclipse
Eclipse For Bazel (deprecated, see https://github.com/salesforce/bazel-eclipse instead)
Stars: ✭ 31 (-31.11%)
Mutual labels:  eclipse, ide
Erlide eclipse
Eclipse IDE for Erlang
Stars: ✭ 206 (+357.78%)
Mutual labels:  eclipse, ide
gamma
An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
Stars: ✭ 21 (-53.33%)
Mutual labels:  eclipse, code-generation
cide
A fast, lightweight C/C++ IDE for Linux and Windows
Stars: ✭ 33 (-26.67%)
Mutual labels:  ide
AShell
开发者常用脚本shell
Stars: ✭ 68 (+51.11%)
Mutual labels:  ide
sizectrl
TSizeCtrl v8.2
Stars: ✭ 16 (-64.44%)
Mutual labels:  ide
Runt
Tiny extensible IDE written in C.
Stars: ✭ 23 (-48.89%)
Mutual labels:  ide
libreoffice-starter-extension
LibreOffice Starter Extension
Stars: ✭ 22 (-51.11%)
Mutual labels:  eclipse
z3 tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver
Stars: ✭ 117 (+160%)
Mutual labels:  formal-methods
View All Similar Projects ➔

The Overture Tool

Build Status License Maven Central

General Information

If you'd like general information about the Overture Project, we suggest you have a look at http://overturetool.org.

Development

Before you download and try to use the code provided in this open-source repository, please browse through the development wiki first!

This directory contains several subdirectories:

  • The core Overture libraries are found in core, and are pure Java with no Eclipse dependencies
  • The Overture IDE, based on Eclipse, is found in ide
  • Technical Documentation for Overture is in documentation

Release

The release procedure is described here.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].