Pylyzer – A fast static code analyzer and language server for Python

• pylyzer

  13 1,976 8.0 Rust

  A fast static code analyzer & language server for Python

• basedpyright

  2 408 9.9 TypeScript

  pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server

In the interim, check out basedpyright [1]. It's an up-to-date fork of pyright with less arbitrary limitations or the annoyance of requiring npm.

[1] https://github.com/detachhead/basedpyright

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• python-lsp-server

  55 1,665 8.1 Python

  Fork of the python-language-server project, maintained by the Spyder IDE team and the community

  

Python LSP Server works great, is easier to install and even offers some optional extensions.

https://github.com/python-lsp/python-lsp-server

• erg

  17 2,582 9.8 Rust

  A statically typed language compatible with Python

  

Looking through the code, Pylyzer seems to be a thin wrapper around Erg [1]. To typecheck, it converts your Python AST to an Erg AST, then runs its through the Erg typechecker and returns the errors.

Faster typechecking for Python is very much needed. But this project seems like it was built in a hackathon —- it is not a true standalone typchecker.

[1] https://github.com/erg-lang/erg

• pyre-check

  24 6,692 9.9 OCaml

  Performant type-checking for python.

  

Did you come across pyre in your search? MIT license and pretty fast.

https://github.com/facebook/pyre-check

• ruff-lsp

  6 1,046 9.2 Python

  A Language Server Protocol implementation for Ruff.

  

Suggest a related project