{"id":32124300,"url":"https://github.com/uniformal/vscode-mmt","last_synced_at":"2025-10-20T21:49:46.471Z","repository":{"id":71686108,"uuid":"197228514","full_name":"UniFormal/VSCode-MMT","owner":"UniFormal","description":"MMT plugin for Visual Studio Code","archived":false,"fork":false,"pushed_at":"2024-04-10T15:02:55.000Z","size":453,"stargazers_count":3,"open_issues_count":2,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-10-20T21:49:45.595Z","etag":null,"topics":["formalization","visual-studio-code","vscode"],"latest_commit_sha":null,"homepage":"https://uniformal.github.io","language":"TypeScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/UniFormal.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE.md","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-16T16:19:35.000Z","updated_at":"2023-08-05T17:06:02.000Z","dependencies_parsed_at":"2024-01-24T19:06:05.966Z","dependency_job_id":null,"html_url":"https://github.com/UniFormal/VSCode-MMT","commit_stats":null,"previous_names":[],"tags_count":4,"template":false,"template_full_name":null,"purl":"pkg:github/UniFormal/VSCode-MMT","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/UniFormal%2FVSCode-MMT","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/UniFormal%2FVSCode-MMT/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/UniFormal%2FVSCode-MMT/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/UniFormal%2FVSCode-MMT/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/UniFormal","download_url":"https://codeload.github.com/UniFormal/VSCode-MMT/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/UniFormal%2FVSCode-MMT/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":280166619,"owners_count":26283782,"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-10-20T02:00:06.978Z","response_time":62,"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":["formalization","visual-studio-code","vscode"],"created_at":"2025-10-20T21:49:44.275Z","updated_at":"2025-10-20T21:49:46.464Z","avatar_url":"https://github.com/UniFormal.png","language":"TypeScript","funding_links":[],"categories":[],"sub_categories":[],"readme":"# \u003cimg src=\"./img/logo_better_128x128.png\" width=\"30em\" /\u003e MMT Extension for Visual Studio Code\n\n## Features\n\nSyntax highlighting, typechecking, and building for the [MMT language](https://uniformal.github.io/).\n\n\u003c!-- code completion, typechecking, building, lenses. --\u003e\n\n\u003c!-- screenshot or animation --\u003e\n\n## Usage\n\n1. Create a directory for your MMT archives (e.g., called `archives`).\n2. Clone MMT archives into that directory (e.g., by `git clone https://gl.mathhub.info/MMT/urtheories.git urtheories`).\n3. Open your `archives` directory in Visual Studio Code\n\n   On Windows, you can do this by navigating to your `archives` directory using WIndows Explorer, right-clicking in an empty space there, and selecting `Open with Code`.\n   Alternatively and for other operating systems, open Visual Studio Code and select `File -\u003e Open Folder...`.\n4. In the Visual Studio Code window you can now open arbitrary `*.mmt` files.\n5. When you have an `*.mmt` file opened, you can press Ctrl+Shift+P to open the command pallette and seek `typecheck` and `build`.\n\nIn case of errors or bugs, a helpful command is `Reload MMT`.\n\n\u003c!-- ## Extension Settings\n\nThis extension contributes the following settings:\n\n* `myExtension.enable`: Enable/disable this extension.\n* `myExtension.thing`: Set to `blah` to do something.\n--\u003e\n\n## Known Issues\n\nCurrently no code completion or lenses.\n\n## Sideloading\n\n1. Download the [nightly build of this extension packaged as a `*.vsix` extension file](https://github.com/UniFormal/VSCode-MMT/releases/latest).\n2. Open Visual Studio Code and press Ctrl+Shift+P (alternatively: `View -\u003e Command Pallette...`)\n3. In the Command Pallette type `VSIX` and select `\u003eExtensions: Install from VSIX...`.\n4. Select the `*.vsix` extension file you downloaded in step 1.\n\n## Release Notes\n\n## 0.4.0\n\n- Added go-to-definition functionality for module references, including includes, structure domains, and specified meta theories\n- Improved syntax highlighting of includes, rules, and explicit constants\n\n## 0.3.1\n\n- Fixed archives not being loaded on Windows (if they were on drives other than `C:`), macOS and Linux derivates\n- Integrated a preliminary MMT shell\n- *Go To Definition* functionality is now more fine-grained and only applicable on notations of a term (and not ambigiously on notations of its subterms)\n\n## 0.2.0\n\n- *Go To Definition* and *Find All References* support for MMT files\n- no initial configuration necessary anymore: the extension comes now bundled with an `mmt.jar` and automatically infers Java Home from `java` on `PATH`\n\n## 0.1.2\n\nMinor updates of this README.\n\n## 0.1.1\n\nFirst version published to the Visual Studio Code marketplace.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Funiformal%2Fvscode-mmt","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Funiformal%2Fvscode-mmt","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Funiformal%2Fvscode-mmt/lists"}