{"id":22559573,"url":"https://github.com/rzk-lang/vscode-rzk","last_synced_at":"2025-04-10T09:27:13.483Z","repository":{"id":152383625,"uuid":"615875450","full_name":"rzk-lang/vscode-rzk","owner":"rzk-lang","description":"Visual Studio Code Extension(s) for Rzk proof assistant.","archived":false,"fork":false,"pushed_at":"2024-06-19T19:45:19.000Z","size":615,"stargazers_count":8,"open_issues_count":12,"forks_count":1,"subscribers_count":3,"default_branch":"main","last_synced_at":"2025-03-24T08:21:13.648Z","etag":null,"topics":["proof-assistant","vscode"],"latest_commit_sha":null,"homepage":"https://marketplace.visualstudio.com/items?itemName=NikolaiKudasovfizruk.rzk-1-experimental-highlighting","language":"TypeScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/rzk-lang.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","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}},"created_at":"2023-03-18T23:34:16.000Z","updated_at":"2024-08-01T08:50:38.000Z","dependencies_parsed_at":"2023-09-23T20:16:17.271Z","dependency_job_id":"8e07969d-40e9-4756-8b45-7be4a2765519","html_url":"https://github.com/rzk-lang/vscode-rzk","commit_stats":null,"previous_names":["fizruk/vscode-rzk"],"tags_count":19,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Fvscode-rzk","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Fvscode-rzk/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Fvscode-rzk/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rzk-lang%2Fvscode-rzk/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/rzk-lang","download_url":"https://codeload.github.com/rzk-lang/vscode-rzk/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248190925,"owners_count":21062377,"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":["proof-assistant","vscode"],"created_at":"2024-12-07T21:07:29.071Z","updated_at":"2025-04-10T09:27:13.462Z","avatar_url":"https://github.com/rzk-lang.png","language":"TypeScript","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Supporting Rzk in VSCode (`rzk-1-experimental-highlighting`)\n\n[![Visual Studio Marketplace Version (including pre-releases)](https://img.shields.io/visual-studio-marketplace/v/NikolaiKudasovfizruk.rzk-1-experimental-highlighting)](https://marketplace.visualstudio.com/items?itemName=NikolaiKudasovfizruk.rzk-1-experimental-highlighting)\n![Open VSX Version](https://img.shields.io/open-vsx/v/NikolaiKudasovfizruk/rzk-1-experimental-highlighting)\n\n\nSyntax and semantic highlighting for [`rzk`](https://rzk-lang.github.io/rzk/), an experimental proof assistant for synthetic ∞-categories, as well as automatic typechecking.\n\n![Syntax highlighting example.](images/example-unfolding-square.png)\n\nFeatures:\n\n1. Basic syntax highlighting with a simple TextMate grammar.\n2. Semantic highlighting via LSP (you must have `rzk` version v0.6 or above).\n3. Prompts for installing/updating `rzk` binaries from GitHub Releases automatically (usable from local Terminal).\n4. Markdown Preview button for `*.rzk.md` files.\n5. Automatic typechecking for all files listed in `rzk.yaml`\n\nSee [Changelog](CHANGELOG.md) for recent updated and changes.\n\nMore examples:\n\n![Syntax highlighting example.](images/example-relfunext2.png)\n\n## Typechecking\n\nThe extension typechecks files in the open project automatically and reports all errors as diagnostic messages.\nTo define a Rzk project, simply create a file called `rzk.yaml` (**not** `.yml`!) that lists all the files to be typechecked under the `include` field. All paths are relative to the project root and support wildcards (for supported operators, see [glob](https://hackage.haskell.org/package/Glob-0.10.2/docs/System-FilePath-Glob.html#v:compile)).\n\nFor example, a typcial `rzk.yaml` would look like so:\n\n```yaml\ninclude:\n  - 'src/**/*.rzk'\n  - 'src/**/*.rzk.md'\n```\n\nTypechecking takes place automatically once the project is first opened and upon _saving_ changes to any of the source files or the configuration file.\n\n## Configuration\n\nExtension settings can be configured by going to the settings page (using the menu `File \u003e Preferences \u003e Settings`, or using the shortcut \u003ckbd\u003eCTRL + ,\u003c/kbd\u003e on Windows/Linux or \u003ckbd\u003e⌘ + ,\u003c/kbd\u003e on macOS).\n\nThe currently available settings are:\n\n| Name                   | Type      | Default value | Description                                                                                                                                   |\n| ---------------------- | --------- | ------------- | --------------------------------------------------------------------------------------------------------------------------------------------- |\n| `rzk.path`             | `string`  | `\"\"`          | The path to the `rzk` executable to use for the language server. `\"\"` (default) means that `rzk` executable available in `PATH` will be used. |\n| `rzk.fetchPrereleases` | `boolean` | `false`       | If true, will include releases marked as \\\"pre-release\\\" on GitHub when fetching the latest binaries.                                         |\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Frzk-lang%2Fvscode-rzk","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Frzk-lang%2Fvscode-rzk","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Frzk-lang%2Fvscode-rzk/lists"}