Merge #326: refactor: remove lsp and vscode

c3f0ce8 general: remove mention of the lsp and vscode (Kyryl R)
9d8c2d3 refactor: remove lsp and vscode (stringhandler)

Pull request description:

  Removes the LSP and VS Code extension from this repo and into https://github.com/BlockstreamResearch/simplicityhl-lsp

  # Motivation
  When trying to update `rust-simplicity` in #314 I am unable to get the full project to pass CI. This is because the LSP project references Simplicity via a crates version.

  As it stands, there are usually multiple PRs to update the LSP after code in the rest of the project is edited.

ACKs for top commit:
  KyrylR:
    ACK c3f0ce8; successfully ran local tests, docs and review

Tree-SHA512: ec7e94d95c0b21683ddeed46a9e678e176490690c96179be76c06e6cc578263ae7cba166700fe432421e8a344eea5a05c2b5b5c6dcfa71a01a7d5223b57fcd99

Author: KyrylR

.github/ISSUE_TEMPLATE/bug-report.yml

@@ -19,7 +19,7 @@ body:
     attributes:
       label: "Project"
       description: "Which subproject or area"
-      placeholder: "core | compiler | vscode | book | tests | other"
+      placeholder: "core | compiler | book | tests | other"
     validations:
       required: true
   - type: textarea

.github/ISSUE_TEMPLATE/feature-request.yml

@@ -9,7 +9,7 @@ body:
     attributes:
       label: "Project"
       description: "Which subproject or area"
-      placeholder: "core | compiler | vscode | book | tests | other"
+      placeholder: "core | compiler | book | tests | other"
     validations:
       required: true
   - type: textarea

.github/workflows/extension.yml

@@ -13,17 +13,8 @@ target/
 .idea
 *.iml
 
-# Vscode project files
-.vscode
-
 # mdbook HTML output dir
 book/book/
 
-# Node.js modules
-node_modules/
-
-# VSCode extension package
-*.vsix
-
 # macOS
 .DS_Store

.github/workflows/lsp-ci.yml

@@ -9,10 +9,10 @@ check out the following resources:
 * Our in-browser playground: https://ide.simplicity-lang.org/
 
 This project defines and implements the SimplicityHL language, and provides
-a compiler binary and language server protocol (LSP) implementation. We
-welcome contributions across a wide spectrum of tasks. For example,
+a compiler binary. We welcome contributions across a wide spectrum of tasks.
+For example,
 
-* Improving tooling: compiler command-line interface or LSP
+* Improving tooling: compiler command-line interface
 * Documentation: this repository can always use more documentation; for
   documentation about Simplicity and SimplicityHL it may make more sense
   to contribute to https://github.com/BlockstreamResearch/simplicity-lang-org/

.github/workflows/publish-lsp.yml

@@ -49,7 +49,7 @@ getrandom = { version = "0.2", features = ["js"] }
 
 [workspace]
 members = ["codegen", "fuzz"]
-exclude = ["bitcoind-tests", "lsp"]
+exclude = ["bitcoind-tests"]
 
 [workspace.metadata.rbmt.toolchains]
 nightly = "nightly-2025-08-23"

.github/workflows/typescript.yml

@@ -71,6 +71,9 @@ Produce JSON output with the `--json` flag.
 ./target/debug/simc examples/p2pkh.simf -w examples/p2pkh.wit --json
 ```
 
-### VSCode extension
+### Editor tooling
 
-See the installation [instructions](./vscode/README.md).
+The language server and VS Code extension are maintained in separate repositories:
+
+* [simplicityhl-lsp](https://github.com/BlockstreamResearch/simplicityhl-lsp)
+* [simplicityhl-vscode](https://github.com/BlockstreamResearch/simplicityhl-vscode)