leanprover/lean4

Extra Credit builds an outline of leanprover/lean4's docs the first time your work uses it. Until then, start at the official documentation.

• jnoortheen/nix-ide Full Nix language support with/without external language servers
• vscode/github-authentication GitHub Authentication Provider
• jeanp413/open-remote-wsl Open any folder in the Windows Subsystem for Linux (WSL).
• wayou/vscode-todo-highlight highlight TODOs, FIXMEs, and any keywords, annotations...
• JohnnyMorganz/luau-lsp A Language Server Client for Luau
• eventyret/bootstrap-4-cdn-snippet This will get you up and running to get a boilerplate of bootstrap ready in a sec
• breaking-brake/cc-wf-studio Visual Workflow Editor for Claude Code, GitHub Copilot, and more AI agents
• cheshirekow/cmake-format Format listfiles so they don't look like crap
• foxundermoon/shell-format A formatter for shell scripts, Dockerfile, gitignore, dotenv, /etc/hosts, jvmoptions, and other file types
• salesforce/apex-language-server-extension VSCode extension for Apex Language Server
• mathematic/vscode-pdf Portable document format (PDF) viewer for Visual Studio Code.
• jajera/vsx-remote-ssh Connect to and develop on remote servers via SSH