{"id":19259652,"url":"https://github.com/overturetool/documentation","last_synced_at":"2026-02-06T00:32:53.757Z","repository":{"id":24621999,"uuid":"28030984","full_name":"overturetool/documentation","owner":"overturetool","description":"Documentation and examples","archived":false,"fork":false,"pushed_at":"2024-12-08T16:40:09.000Z","size":165019,"stargazers_count":4,"open_issues_count":5,"forks_count":4,"subscribers_count":22,"default_branch":"editing","last_synced_at":"2025-07-18T07:42:10.324Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"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":null,"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,"zenodo":null}},"created_at":"2014-12-15T10:06:02.000Z","updated_at":"2024-12-08T16:40:13.000Z","dependencies_parsed_at":"2025-01-05T09:41:04.191Z","dependency_job_id":"a12b7ec4-082f-4e02-b0e0-0ec0cea13363","html_url":"https://github.com/overturetool/documentation","commit_stats":null,"previous_names":[],"tags_count":2,"template":false,"template_full_name":null,"purl":"pkg:github/overturetool/documentation","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/overturetool%2Fdocumentation","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/overturetool%2Fdocumentation/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/overturetool%2Fdocumentation/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/overturetool%2Fdocumentation/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/overturetool","download_url":"https://codeload.github.com/overturetool/documentation/tar.gz/refs/heads/editing","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/overturetool%2Fdocumentation/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29140181,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-05T23:14:48.546Z","status":"ssl_error","status_checked_at":"2026-02-05T23:14:35.724Z","response_time":65,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"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":[],"created_at":"2024-11-09T19:17:15.634Z","updated_at":"2026-02-06T00:32:53.733Z","avatar_url":"https://github.com/overturetool.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"# The Overture Tool Documentation\n\nThis repository holds the canonical version of the VDM Language Manual, among other documents.  The issues tracker associated with the repository is intended to track general issues with the documentation. Requests for modifications to the language should be done at https://github.com/overturetool/language.\n\nAny editing of these documents should be carried out in the `editing` branch. Changes to this branch\nare pulled into `master` as part of the release process.\n\nIf you'd like general information about the Overture Project, we suggest you have a look at http://overturetool.org.\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Foverturetool%2Fdocumentation","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Foverturetool%2Fdocumentation","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Foverturetool%2Fdocumentation/lists"}