{"id":13473052,"url":"https://github.com/tlaplus/vscode-tlaplus","last_synced_at":"2026-03-05T08:01:32.136Z","repository":{"id":37499055,"uuid":"196869490","full_name":"tlaplus/vscode-tlaplus","owner":"tlaplus","description":"TLA+ language support for Visual Studio Code","archived":false,"fork":false,"pushed_at":"2026-02-20T23:41:04.000Z","size":33703,"stargazers_count":407,"open_issues_count":66,"forks_count":46,"subscribers_count":8,"default_branch":"master","last_synced_at":"2026-03-05T04:25:26.621Z","etag":null,"topics":["formal-methods","model-checking","pluscal","specification","tla","tlc","verification","vscode-extension"],"latest_commit_sha":null,"homepage":"","language":"TypeScript","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/tlaplus.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":"CONTRIBUTING.md","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":"2019-07-14T18:21:54.000Z","updated_at":"2026-03-03T16:31:20.000Z","dependencies_parsed_at":"2023-02-10T07:15:41.781Z","dependency_job_id":"abaa29d9-fdaf-4617-848a-efa20df30caa","html_url":"https://github.com/tlaplus/vscode-tlaplus","commit_stats":{"total_commits":560,"total_committers":18,"mean_commits":31.11111111111111,"dds":0.5071428571428571,"last_synced_commit":"a3169adfa37ffad0ae630f49247db6f29f7479be"},"previous_names":["alygin/vscode-tlaplus"],"tags_count":40,"template":false,"template_full_name":null,"purl":"pkg:github/tlaplus/vscode-tlaplus","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2Fvscode-tlaplus","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2Fvscode-tlaplus/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2Fvscode-tlaplus/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2Fvscode-tlaplus/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tlaplus","download_url":"https://codeload.github.com/tlaplus/vscode-tlaplus/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tlaplus%2Fvscode-tlaplus/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":30115662,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-05T03:40:26.266Z","status":"ssl_error","status_checked_at":"2026-03-05T03:39:15.902Z","response_time":93,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6: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":["formal-methods","model-checking","pluscal","specification","tla","tlc","verification","vscode-extension"],"created_at":"2024-07-31T16:01:00.264Z","updated_at":"2026-03-05T08:01:31.522Z","avatar_url":"https://github.com/tlaplus.png","language":"TypeScript","funding_links":[],"categories":["TypeScript"],"sub_categories":[],"readme":"# TLA\u003csup\u003e+\u003c/sup\u003e for Visual Studio Code and Cursor\n\n[![Build Status](https://img.shields.io/github/actions/workflow/status/tlaplus/vscode-tlaplus/ci.yml?branch=master)](https://github.com/tlaplus/vscode-tlaplus/actions?query=workflow%3ARelease) [![VS Code extension version](https://img.shields.io/visual-studio-marketplace/i/tlaplus.vscode-ide?color=blue\u0026label=Stable%20Release\u0026style=flat-square)](https://marketplace.visualstudio.com/items?itemName=tlaplus.vscode-ide)\n\nThis extension adds support for the [TLA\u003csup\u003e+\u003c/sup\u003e formal specification language](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html) to VS Code. It also supports running the TLC model checker on TLA\u003csup\u003e+\u003c/sup\u003e specifications.\n\n## Features\n\n- TLA\u003csup\u003e+\u003c/sup\u003e and PlusCal syntax highlighting and code snippets.\n- Running the PlusCal-to-TLA\u003csup\u003e+\u003c/sup\u003e translator and module parser.\n- Running TLC model checker on TLA\u003csup\u003e+\u003c/sup\u003e specifications.\n- Model checking process and result visualization.\n- Evaluating constant expressions.\n- Converting TLA\u003csup\u003e+\u003c/sup\u003e specifications to LaTeX and PDF documents.\n- Code completion.\n- Code on-type formatting.\n- Powered by the [official TLA\u003csup\u003e+\u003c/sup\u003e tools](https://github.com/tlaplus/tlaplus).\n\n\u003cimg src=\"https://raw.githubusercontent.com/tlaplus/vscode-tlaplus/master/resources/images/screencast.gif\" width=\"800\" height=\"auto\"\u003e\n\n## Documentation\n\n[The project's Wiki](https://github.com/tlaplus/vscode-tlaplus/wiki) provides information on how to install, configure and use the extension.\n\n* [How to Install](https://github.com/tlaplus/vscode-tlaplus/wiki/How-to-Install)\n* [Getting Started](https://github.com/tlaplus/vscode-tlaplus/wiki/Getting-Started)\n* [Settings](https://github.com/tlaplus/vscode-tlaplus/wiki/Settings)\n* [Commands](https://github.com/tlaplus/vscode-tlaplus/wiki/Commands)\n* [Setting up Environment](https://github.com/tlaplus/vscode-tlaplus/wiki/Setting-up-Environment)\n* [Caveats](https://github.com/tlaplus/vscode-tlaplus/wiki/Caveats)\n* [Troubleshooting](https://github.com/tlaplus/vscode-tlaplus/wiki/Troubleshooting)\n\n## Contributing\n\nAll forms of contribution are highly welcome! Feel free to file bugs, propose improvements, ask questions, send other feedback.\n\nIf you decide to pitch in and write some code, this document will provide you with useful information: [CONTRIBUTING.md](CONTRIBUTING.md).\n\n## TLA\u003csup\u003e+\u003c/sup\u003e Resources\n\nIf you're not familiar with TLA\u003csup\u003e+\u003c/sup\u003e, but want to get a grasp on it, the following list of resources is a good starting point:\n\n* [TLA\u003csup\u003e+\u003c/sup\u003e Home Page](http://www.tlapl.us) on Leslie Lamport's website.\n* [A collection of TLA\u003csup\u003e+\u003c/sup\u003e specification examples](https://github.com/tlaplus/Examples) in the TLA\u003csup\u003e+\u003c/sup\u003e repository.\n* [Introduction to TLA\u003csup\u003e+\u003c/sup\u003e and PlusCal](https://learntla.com) by Hillel Wayne.\n* [TLA\u003csup\u003e+\u003c/sup\u003e in Practice and Theory](https://pron.github.io/posts/tlaplus_part1) by Ron Pressler.\n\n## License\n\n[MIT](LICENSE)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftlaplus%2Fvscode-tlaplus","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftlaplus%2Fvscode-tlaplus","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftlaplus%2Fvscode-tlaplus/lists"}