{"id":20740626,"url":"https://github.com/tomooda/viennatalk","last_synced_at":"2025-12-24T08:01:03.329Z","repository":{"id":41853137,"uuid":"41394036","full_name":"tomooda/ViennaTalk","owner":"tomooda","description":"ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk","archived":false,"fork":false,"pushed_at":"2025-12-19T04:22:53.000Z","size":50148,"stargazers_count":15,"open_issues_count":2,"forks_count":0,"subscribers_count":7,"default_branch":"main","last_synced_at":"2025-12-22T01:20:04.452Z","etag":null,"topics":["formal-methods","formal-models","formal-specification","pharo","smalltalk","vdm","vdm-sl"],"latest_commit_sha":null,"homepage":"","language":"Smalltalk","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/tomooda.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,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2015-08-25T23:56:59.000Z","updated_at":"2025-07-27T21:42:03.000Z","dependencies_parsed_at":"2023-01-25T10:00:44.662Z","dependency_job_id":null,"html_url":"https://github.com/tomooda/ViennaTalk","commit_stats":null,"previous_names":[],"tags_count":33,"template":false,"template_full_name":null,"purl":"pkg:github/tomooda/ViennaTalk","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tomooda%2FViennaTalk","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tomooda%2FViennaTalk/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tomooda%2FViennaTalk/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tomooda%2FViennaTalk/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tomooda","download_url":"https://codeload.github.com/tomooda/ViennaTalk/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tomooda%2FViennaTalk/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":27998473,"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","status":"online","status_checked_at":"2025-12-24T02:00:07.193Z","response_time":83,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"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":["formal-methods","formal-models","formal-specification","pharo","smalltalk","vdm","vdm-sl"],"created_at":"2024-11-17T06:29:26.604Z","updated_at":"2025-12-24T08:01:03.324Z","avatar_url":"https://github.com/tomooda.png","language":"Smalltalk","funding_links":[],"categories":[],"sub_categories":[],"readme":"[![Pharo version](https://img.shields.io/badge/Pharo-12-87CEFA.svg)](https://pharo.org/download)\n[![CI](https://github.com/tomooda/ViennaTalk/actions/workflows/test.yml/badge.svg)](https://github.com/tomooda/ViennaTalk/actions/workflows/test.yml)\n[![License](https://img.shields.io/badge/license-MIT-blue.svg)](https://raw.githubusercontent.com/cormas/cormas/master/LICENSE)\n\n![ViennaTalk logo](https://viennatalk.org/images/ViennaTalk-logo.png)\n\nViennaTalk ~ Live and Formal\n===\nViennaTalk is a Smalltalk library to handle VDM-SL specifications.\n\nDownloads\n---\n\nThe latest release: [\u003ckbd\u003e \u003cbr\u003e Gdansk \u003cbr\u003e \u0026nbsp; \u003c/kbd\u003e](https://github.com/tomooda/ViennaTalk/releases/latest/)\n   * macOS / AppleSilicon [![download](https://img.shields.io/badge/DOWNLOAD-f0f0f0?labelColor=a0a0a0\u0026style=flat\u0026logoColor=white\u0026logo=DocuSign)](https://viennatalk.org/builds/viennatalk/latest/ViennaTalk-Installer-Darwin-arm64.dmg)\n   * macOS / Intel processor [![download](https://img.shields.io/badge/DOWNLOAD-f0f0f0?labelColor=a0a0a0\u0026style=flat\u0026logoColor=white\u0026logo=DocuSign)](https://viennatalk.org/builds/viennatalk/latest/ViennaTalk-Installer-Darwin-x86_64.dmg)\n   * windows64 / Intel processor [![download](https://img.shields.io/badge/DOWNLOAD-f0f0f0?labelColor=a0a0a0\u0026style=flat\u0026logoColor=white\u0026logo=DocuSign)](https://viennatalk.org/builds/viennatalk/latest/ViennaTalk-Windows-x86_64.zip)\n\nDocumentation\n---\nDocumentation is available at [ViennaTalk.org](http://viennatalk.org/).\n\nPublic VDMPad server\n---\nYou can freely try VDMPad without any registration at [Public VDMPad server](http://vdmpad.viennatalk.org).\n\n\nPlatform\n---\nViennaTalk works on [Pharo 12](http://pharo.org/) .\nMacOSX and Linux is supported. Windows platforms are partially supported; a local VDMJ process does not work on Widnows due to limitation of OSSubprocess's piping functions.\n\nLicense\n---\nViennaTalk is distributed under [the MIT license](https://github.com/tomooda/ViennaTalk-doc/blob/master/LICENSE).\n\nInstall\n---\nYou may either download a pre-built package from [Release page](https://github.com/tomooda/ViennaTalk-doc/releases), install viennatalk+pharo from command shell, or install from source code repository into [Pharo](http://pharo.org/).\n\nSource Repository\n---\nThe source code repository is available at https://github.com/tomooda/ViennaTalk.\n\nOn macOS or Linux, you may download Pharo and installl ViennaTalk using the following command on a shell\n\n```\ncurl https://raw.githubusercontent.com/tomooda/ViennaTalk/main/scripts/install-viennatalk.sh | bash\n```\n\n\nIf you like to install ViennaTalk on an existing Pharo installation, please use Iceberg to clone https://github.com/tomooda/ViennaTalk.git with \u003ctt\u003erepository\u003c/tt\u003e subdirectory, and load \u003ctt\u003eBaselineOfViennaTalk\u003c/tt\u003e and install its baseline.\nOr, you may programmatically install it by evaluating \n\n```\nEpMonitor disableDuring: [\n\tMetacello new\n\t\tonConflictUseLoaded;\n\t\tonWarningLog;\n\t\trepository: 'github://tomooda/ViennaTalk:main/';\n\t\tbaseline: 'ViennaTalk';\n\t\tload ] \n```\n\nAcknowledgements\n---\nPart of the ViennaTalk project is supported by Grant-in-Aid for Scientific Research (S) 24220001, Grant-in-Aid for Scientific Research (C) 26330099, and Grant-in-Aid for Early-Career Scientists 18K18033 from the Japan Society for the Promotion of Science.\n\nThe ViennaTalk project is supported by [Software Research Associates, Inc.](https://www.sra.co.jp/en/).\n\n[![SRA logo](resources/SRA-logo-large.png)](https://www.sra.co.jp/en/)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftomooda%2Fviennatalk","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftomooda%2Fviennatalk","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftomooda%2Fviennatalk/lists"}