{"id":21340004,"url":"https://github.com/imandra-ai/ipl-vscode","last_synced_at":"2026-01-03T11:19:11.089Z","repository":{"id":97326665,"uuid":"97083987","full_name":"imandra-ai/ipl-vscode","owner":"imandra-ai","description":"Imandra Protocol Language VS Code Plugin","archived":false,"fork":false,"pushed_at":"2024-10-23T22:04:26.000Z","size":966699,"stargazers_count":8,"open_issues_count":0,"forks_count":1,"subscribers_count":16,"default_branch":"master","last_synced_at":"2024-10-24T10:52:04.420Z","etag":null,"topics":["formal-methods","formal-verification","imandra","language-server-protocol"],"latest_commit_sha":null,"homepage":"https://www.imandra.ai","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/imandra-ai.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}},"created_at":"2017-07-13T05:36:53.000Z","updated_at":"2024-09-11T13:04:59.000Z","dependencies_parsed_at":"2024-09-11T18:19:53.516Z","dependency_job_id":"71cf223f-fed4-4c2e-ae12-663bde4532d6","html_url":"https://github.com/imandra-ai/ipl-vscode","commit_stats":null,"previous_names":[],"tags_count":6,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imandra-ai%2Fipl-vscode","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imandra-ai%2Fipl-vscode/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imandra-ai%2Fipl-vscode/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imandra-ai%2Fipl-vscode/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/imandra-ai","download_url":"https://codeload.github.com/imandra-ai/ipl-vscode/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243817325,"owners_count":20352538,"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":["formal-methods","formal-verification","imandra","language-server-protocol"],"created_at":"2024-11-22T00:48:44.274Z","updated_at":"2026-01-03T11:19:11.060Z","avatar_url":"https://github.com/imandra-ai.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"\n![Aesthetic Integration](https://storage.googleapis.com/imandra-assets/images/github/vs_code_plug_head.svg)\n---\nWelcome to Imandra Protocol Language VS Code Plugin Repo\n\nThis repo contains the vsix file required to run a language server for Imandra Protocol Language (IPL) in VSCode. It is possible to find it on the Visual Studio MarketPlace:\n\n[![](https://storage.googleapis.com/imandra-assets/images/github/vsmp.png)](https://marketplace.visualstudio.com/items?itemName=aestheticintegration.ipl-vscode)\n\nPlease refer to the documentation for IPL:\n\n[![](https://storage.googleapis.com/imandra-assets/images/github/ipldoc.png)](https://docs.imandra.ai/ipl/)\n\nExamples can be found in the examples repository [here](https://github.com/AestheticIntegration/ipl-examples)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fimandra-ai%2Fipl-vscode","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fimandra-ai%2Fipl-vscode","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fimandra-ai%2Fipl-vscode/lists"}