IDE plugins

Plugins, extensions, and integrations that add functionality to code editors and IDEs.