{"id":15583400,"url":"https://github.com/overturetool/overture","last_synced_at":"2025-09-05T18:48:33.973Z","repository":{"id":12026933,"uuid":"14611005","full_name":"overturetool/overture","owner":"overturetool","description":"The Overture Tool","archived":false,"fork":false,"pushed_at":"2024-10-03T17:38:47.000Z","size":219981,"stargazers_count":50,"open_issues_count":88,"forks_count":24,"subscribers_count":25,"default_branch":"development","last_synced_at":"2025-04-05T04:11:12.354Z","etag":null,"topics":["code-generation","eclipse","formal-methods","ide","java","overture","vdm","vdm-sl","vdmpp","vdmrt"],"latest_commit_sha":null,"homepage":"http://overturetool.org","language":"Java","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/overturetool.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2013-11-22T07:05:26.000Z","updated_at":"2025-03-08T08:00:14.000Z","dependencies_parsed_at":"2025-01-18T22:39:03.065Z","dependency_job_id":"3ac43849-e437-40ed-b0f7-145b74085bff","html_url":"https://github.com/overturetool/overture","commit_stats":{"total_commits":11288,"total_committers":62,"mean_commits":"182.06451612903226","dds":0.8092664776754075,"last_synced_commit":"8e73876ae1e259b041db9a11afc7f8b93c385fa6"},"previous_names":[],"tags_count":75,"template":false,"template_full_name":null,"purl":"pkg:github/overturetool/overture","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/overturetool%2Foverture","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/overturetool%2Foverture/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/overturetool%2Foverture/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/overturetool%2Foverture/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/overturetool","download_url":"https://codeload.github.com/overturetool/overture/tar.gz/refs/heads/development","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/overturetool%2Foverture/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":263940356,"owners_count":23533017,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["code-generation","eclipse","formal-methods","ide","java","overture","vdm","vdm-sl","vdmpp","vdmrt"],"created_at":"2024-10-02T20:07:56.177Z","updated_at":"2025-07-11T10:34:34.395Z","avatar_url":"https://github.com/overturetool.png","language":"Java","readme":"# The Overture Tool \n[![Build Status](https://build.overture.au.dk/jenkins/buildStatus/icon?job=overture-development)](https://build.overture.au.dk/jenkins/job/overture-development/)\n[![License](http://img.shields.io/:license-gpl3-blue.svg?style=flat-square)](http://www.gnu.org/licenses/gpl-3.0.html)\n[![Maven Central](https://img.shields.io/maven-central/v/org.overturetool/core.svg?label=Maven%20Central)](http://search.maven.org/#search%7Cgav%7C1%7Cg%3A%22org.overturetool.core%22)\n\n## General Information\n\nIf you'd like general information about the Overture Project, we suggest you have a look at http://overturetool.org.\n\n## Development\n\nBefore you download and try to use the code provided in this open-source repository, please browse through the [development wiki](https://github.com/overturetool/overture/wiki) first!\n\nThis directory contains several subdirectories:\n\n* The core Overture libraries are found in `core`, and are pure Java with no Eclipse dependencies\n* The Overture IDE, based on Eclipse, is found in `ide`\n* Technical Documentation for Overture is in `documentation`\n\n## Release\n\nThe release procedure is described [here](https://github.com/overturetool/overture/wiki/New-Release-Procedure).\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Foverturetool%2Foverture","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Foverturetool%2Foverture","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Foverturetool%2Foverture/lists"}