28 repos
rocq-prover/vsrocq
Visual Studio Code extension for Rocq
461
1,501 commits
coq-community/vscoq
1,544 commits
coq/vscoq
rocq-prover/vscoq
orta/vscode-jest
The optimal flow for Jest based testing in VS Code
2,889
919 commits
jest-community/vscode-jest
haskell/vscode-haskell
VS Code extension for Haskell, powered by haskell-language-server
597
1,355 commits
alanz/vscode-hie-server
microsoft/playwright-vscode
Playwright Test Visual Studio Code integration
488
714 commits
microsoft/vscode-js-debug
A DAP-compatible JavaScript debugger. Used in VS Code, VS, + more
1,972
2,655 commits
formulahendry/vscode-code-runner
Code Runner for Visual Studio Code
2,438
205 commits
eamodio/vscode-gitlens
Supercharge Git inside VS Code and unlock untapped knowledge within each repository — Visualize…
9,929
12,028 commits
Enter-tainer/typst-preview
[DEPRECATED] Use tinymist instead
444
389 commits
artempyanykh/marksman-vscode
Marksman extension for VSCode. Note taking with cross-references and diagnostics.
60
32 commits
71/dance
Make your cursors dance with Kakoune and Helix-like modal editing in VS Code.
529
489 commits
artempyanykh/zeta-note-vscode
banacorn/agda-mode-vscode
agda-mode on VS Code
188
2,367 commits
slackhq/vscode-hack
Hack language & HHVM debugger support for Visual Studio Code
80
368 commits
Ikuyadeu/vscode-R
R Extension for Visual Studio Code
1,183
1,290 commits
yzane/vscode-markdown-pdf
Markdown converter for Visual Studio Code
1,331
798 commits
razetime/bqn-vscode
BQN programming language vscode plugin (symbol input, syntax highlighting)
23
72 commits
Lixxx1/dsh-vscode
在 VS Code 中使用 DeepSeek Harness. Use DeepSeek Harness in VS Code
24
109 commits
recca0120/vscode-phpunit
Run PHPUnit and Pest tests in VS Code with the native Test Explorer. Supports Docker, SSH, Laravel…
168
1,062 commits
SamirHodzic/micro-mock
Instant OpenAPI mock server with chaos testing (error injection + latency), right from VS Code.
0
3 commits
matepek/vscode-catch2-test-adapter
Catch2, Google Test and doctest Adapter for the VSCode
257
1,115 commits
chahe-dridi/vscode-agent-bell
VS Code extension — plays a sound and shows an OS notification the moment your AI agent needs your…
4
68 commits
rnoro/tithon
Persistent Jupyter kernel execution and live output streaming in VSCode
13
158 commits
Kilo-Org/kilocode
Kilo is the all-in-one agentic engineering platform. Build, ship, and iterate faster with the most…
27,341
26,109 commits