A fast type checker and language server for Python
Repository Index
47,133 repositories indexed
1–11 of 11 · Most stars
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
- based
- pylance
- pyright
- python
Neovim/Vim color scheme inspired by Dark+ and Light+ theme in Visual Studio Code
Visual Studio Code extension for Rocq
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
- micropython
- vscode
- type-checking
- static-typing
Yet another VSCode extension for Crystal Programming Language
- crystal
- vscode-extension
TranslatedWenyan Lang for VS Code
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
- micropython-stubs
- micropython-stubber
- firmware-stubs
- python
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Lisp VSCode Extension
- common-lisp
- ide
- lisp
- programming-language
PostgreSQL migration linter. Blocks unsafe migrations before merge: 112 rules, the real Postgres parser, lock analysis, auto-fix. CLI, GitHub Action, MCP.