{"id":26500319,"url":"https://github.com/simonhorlick/kind-vscode","last_synced_at":"2026-03-16T16:38:35.240Z","repository":{"id":42665909,"uuid":"338974466","full_name":"simonhorlick/kind-vscode","owner":"simonhorlick","description":"A language server protocol implementation and vscode plugin for the Formality programming language.","archived":false,"fork":false,"pushed_at":"2023-03-05T21:06:30.000Z","size":3403,"stargazers_count":3,"open_issues_count":22,"forks_count":1,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-04-06T07:43:27.378Z","etag":null,"topics":["formality","vscode"],"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/simonhorlick.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}},"created_at":"2021-02-15T05:16:26.000Z","updated_at":"2022-03-25T03:09:35.000Z","dependencies_parsed_at":"2025-03-20T15:35:55.992Z","dependency_job_id":"317532d9-a6de-4275-9db2-0229166de967","html_url":"https://github.com/simonhorlick/kind-vscode","commit_stats":null,"previous_names":[],"tags_count":4,"template":false,"template_full_name":null,"purl":"pkg:github/simonhorlick/kind-vscode","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/simonhorlick%2Fkind-vscode","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/simonhorlick%2Fkind-vscode/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/simonhorlick%2Fkind-vscode/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/simonhorlick%2Fkind-vscode/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/simonhorlick","download_url":"https://codeload.github.com/simonhorlick/kind-vscode/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/simonhorlick%2Fkind-vscode/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":264034732,"owners_count":23547267,"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":["formality","vscode"],"created_at":"2025-03-20T15:29:41.170Z","updated_at":"2026-03-16T16:38:35.209Z","avatar_url":"https://github.com/simonhorlick.png","language":"TypeScript","funding_links":[],"categories":[],"sub_categories":[],"readme":"# kind-vscode\n\nA Visual Studio Code plugin for the Kind programming language. This plugin provides output from the kind typechecker to VSCode.\n\n![Screenshot of the plugin displaying a diagnostic message](https://github.com/simonhorlick/kind-vscode/raw/main/example.png)\n\n## Architecture\n\n![A architecture diagram showing the high level components](https://github.com/simonhorlick/kind-vscode/raw/main/architecture.jpg)\n\nThis extension is structured as three pieces:\n\n- A vscode extension that launches kind-lsp\n- A language server, kind-lsp, that's written in node and contains the state\n- A set of functions for computing results, written in Kind.\n\n## Structure\n\n```\n.\n├── client // Language Client\n│   ├── src\n│   │   ├── test // End to End tests for Language Client / Server\n│   │   └── extension.ts // Language Client entry point\n├── package.json // The extension manifest.\n└── server // Language Server\n    └── src\n        └── server.ts // Language Server entry point\n```\n\n## Getting Started\n\nTo install all of the necessary dependencies, run\n\n```bash\nnpm install\n```\n\nIn VSCode there is a launch configuration named \"Launch Client\" that will start an instance of VSCode with the plugin enabled.\n\n## Roadmap\n\nThe following features are planned:\n\n- [ ] Hover over a symbol to view its documentation\n- [x] Jump to definition\n- [ ] Autocompletion\n- [ ] Rename symbol\n- [ ] Support for other editors, for example: Atom, vim\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsimonhorlick%2Fkind-vscode","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsimonhorlick%2Fkind-vscode","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsimonhorlick%2Fkind-vscode/lists"}