xldenis/whycode
Why3 LSP client
- Category
- Editor extensions
Official docs outline
github.comExtra Credit builds an outline of xldenis/whycode's docs the first time your work uses it. Until then, start at the official documentation.
More in Editor extensions
All 1,000-
git-brain/git-brain git-brain is the JetBrains-grade Git UI for VS Code and Cursor - featuring quiet high-density line blame, 3-way merge conflict surgery, and
-
wix/vscode-import-cost Display import/require package size in the editor
-
ryanluker/vscode-coverage-gutters Display test coverage generated by lcov or xml - works with many languages
-
illixion/vscode-vibrancy-continued Vibrancy Effect for Visual Studio Code
-
Embedder/embedder-enterprise-2F3 AI firmware engineer for enterprise teams
-
mcu-debug/rtos-views RTOS views for microcontrollers
-
hbenl/test-adapter-converter Converter extension from the Test Adapter UI to native VS Code testing
-
glenn2223/live-sass Compile Sass or Scss to CSS at realtime.
-
juanblanco/solidity Ethereum Solidity Language for Visual Studio Code
-
NomicFoundation/hardhat-solidity Solidity and Hardhat support by the Hardhat team
-
mtxr/sqltools-driver-mysql SQLTools MySQL/MariaDB/TiDB
-
danielpinto8zz6/c-cpp-compile-run Easily compile, run, and debug single C/C++ files in VS Code.