{"id":27943110,"url":"https://github.com/halflinghelper/deduce-lsp","last_synced_at":"2025-05-07T12:02:44.591Z","repository":{"id":288268832,"uuid":"922725199","full_name":"HalflingHelper/deduce-lsp","owner":"HalflingHelper","description":null,"archived":false,"fork":false,"pushed_at":"2025-04-16T12:45:03.000Z","size":879,"stargazers_count":0,"open_issues_count":5,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-04-16T18:26:22.134Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Python","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/HalflingHelper.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":"SECURITY.md","support":"SUPPORT.md","governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2025-01-26T23:31:40.000Z","updated_at":"2025-04-16T12:45:07.000Z","dependencies_parsed_at":"2025-04-16T18:29:41.575Z","dependency_job_id":"331b76c9-dea3-466b-a47f-17cc2cab4547","html_url":"https://github.com/HalflingHelper/deduce-lsp","commit_stats":null,"previous_names":["halflinghelper/deduce-lsp"],"tags_count":0,"template":false,"template_full_name":"microsoft/vscode-python-tools-extension-template","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HalflingHelper%2Fdeduce-lsp","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HalflingHelper%2Fdeduce-lsp/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HalflingHelper%2Fdeduce-lsp/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HalflingHelper%2Fdeduce-lsp/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/HalflingHelper","download_url":"https://codeload.github.com/HalflingHelper/deduce-lsp/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":252873952,"owners_count":21817712,"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":[],"created_at":"2025-05-07T12:01:19.739Z","updated_at":"2025-05-07T12:02:44.494Z","avatar_url":"https://github.com/HalflingHelper.png","language":"Python","readme":"# Deduce LSP\n\nThis is a (currently experimental) language server protocol for the [Deduce](https://github.com/jsiek/deduce/) programming language\n\nCreated using this extension template: https://github.com/microsoft/vscode-python-tools-extension-template\n\n\n[pygls]: https://github.com/openlawlibrary/pygls\n\n## Features\n\n- Syntax Checking\n- Token autocomplete\n- Jump to definition\n- Definition on hover\n- Signature Advice \n\n\nMore to come\n\n## Known issues\n- Go-to for operators works a bit strangely on compound operators. For example, `\u003c=` may send to `\u003c`, depending on where is clicked.\n  - Potential fix : smarter regex for word at position, instead of using bespoke function\n\n## Installation\n\nThis is currently an extension in pre-release on the [marketplace](https://marketplace.visualstudio.com/manage/publishers/calvinjosenhans/extensions/deduce-lsp/hub?_a=acquisition)\n\n\n## Requirements\n- TODO\n\n## Release Notes\n\n### 0.0.6\n- Deduce version sync\n\n### 0.0.5\n- Deduce version sync\n\n### 0.0.4\n- Deduce version sync\n- Go-to definition functionality for operators\n\n### 0.0.3\n- Small speedups\n- Induction autofill\n\n### 0.0.2\n- Some polish and bug fixing in parsing\n\n### 0.0.1\n- Bare minimum\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhalflinghelper%2Fdeduce-lsp","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fhalflinghelper%2Fdeduce-lsp","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhalflinghelper%2Fdeduce-lsp/lists"}