Formatting support for Python using the Black formatter

VS Code in the browser

Official VSCode plugin for ReScript

Uniquely color different VSCode workspace windows with automatic selections or customized colors and themes.

VSCode extension for D2 files.

Q# compiler, command line tool, and Q# language server

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.

Quickly browse the history of a file from any git repository

VSCode extension for autocomplete when writing WebAssembly Text (.wat) files

A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]

Visual Studio Code Extension and Language Server Protocol for Coq

A free programming font with cursive italics and ligatures. Donations welcome ❤️

The AI Code Editor

An implementation of the Language Server Protocol for LaTeX

A Visual Studio Code plugin for working with Just.

Visual Studio Code extension to recognize and highlight the WebAssembly Interface Type (WIT) IDL.

A CLI/TUI which makes it easy to launch vscode projects, with a focus on dev containers.

Visual Studio Code

SARIF Microsoft Visual Studio Code extension