PyPI Stats

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
jupyter-lsp
jupyter-lsp

Coding assistance for JupyterLab (code navigation + hover suggestions + linters + autocompletion + rename) using Language Server Protocol

40.7M 2K 157
benbenbang
types-confluent-kafka

Typings for Confluent Kafka Python Client

1.7M 27 19
fortran-lang
fortls

fortls - Fortran Language Server

323K 334 64
tombi-toml
tombi

TOML Formatter / Linter / Language Server

252K 888 43
jupyter-lsp
jupyterlab-lsp

Coding assistance for JupyterLab (code navigation + hover suggestions + linters + autocompletion + rename) using Language Server Protocol

151K 2K 157
microsoft
multilspy

multilspy is a lsp client library in Python intended to be used to build applications around language servers.

96K 572 104
jmpfar
clangd

clangd python wheels

81K 4 1
robotcodedev
robotcode

Open Source Toolkit for Robot Framework, providing Language Server Protocol support, Debugger, VSCode Extension, PyCharm Plugin and powerful CLI tools

66K 277 29
robotcodedev
robotcode-robot

Open Source Toolkit for Robot Framework, providing Language Server Protocol support, Debugger, VSCode Extension, PyCharm Plugin and powerful CLI tools

63K 277 29
robotcodedev
robotcode-plugin

Open Source Toolkit for Robot Framework, providing Language Server Protocol support, Debugger, VSCode Extension, PyCharm Plugin and powerful CLI tools

63K 277 29
robotcodedev
robotcode-core

Open Source Toolkit for Robot Framework, providing Language Server Protocol support, Debugger, VSCode Extension, PyCharm Plugin and powerful CLI tools

63K 277 29
robotcodedev
robotcode-modifiers

Open Source Toolkit for Robot Framework, providing Language Server Protocol support, Debugger, VSCode Extension, PyCharm Plugin and powerful CLI tools

55K 277 29
robotcodedev
robotcode-runner

Open Source Toolkit for Robot Framework, providing Language Server Protocol support, Debugger, VSCode Extension, PyCharm Plugin and powerful CLI tools

54K 277 29
oOo0oOo
lean-lsp-mcp

Lean Theorem Prover MCP

53K 371 60
oOo0oOo
leanclient

Python client to interact with the lean4 language server.

46K 44 10
sysid
bkmr

Knowledge Management for Humans and Agents

33K 250 10
robotcodedev
robotcode-jsonrpc2

Open Source Toolkit for Robot Framework, providing Language Server Protocol support, Debugger, VSCode Extension, PyCharm Plugin and powerful CLI tools

29K 277 29
robotcodedev
robotcode-debugger

Open Source Toolkit for Robot Framework, providing Language Server Protocol support, Debugger, VSCode Extension, PyCharm Plugin and powerful CLI tools

27K 277 29
robotcodedev
robotcode-analyze

Open Source Toolkit for Robot Framework, providing Language Server Protocol support, Debugger, VSCode Extension, PyCharm Plugin and powerful CLI tools

23K 277 29
robotcodedev
robotcode-language-server

Open Source Toolkit for Robot Framework, providing Language Server Protocol support, Debugger, VSCode Extension, PyCharm Plugin and powerful CLI tools

20K 277 29
EpicEric
duper-python

The format that's super!

16K 37 0
robotcodedev
robotcode-repl

Open Source Toolkit for Robot Framework, providing Language Server Protocol support, Debugger, VSCode Extension, PyCharm Plugin and powerful CLI tools

15K 277 29
robotcodedev
robotcode-repl-server

Open Source Toolkit for Robot Framework, providing Language Server Protocol support, Debugger, VSCode Extension, PyCharm Plugin and powerful CLI tools

14K 277 29
huacnlee
autocorrect-py

A linter and formatter to help you to improve copywriting, correct spaces, words, and punctuations between CJK (Chinese, Japanese, Korean).

10K 2K 61