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

1. pylyzer

   1 15 2,859 8.8 Rust

   A fast, feature-rich static code analyzer & language server for Python

   

2. InfluxDB

   www.influxdata.com featured

   InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

   

3. basedpyright

   2 10 2,394 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

4. python-lsp-server

   3 56 2,335 7.3 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

5. erg

   4 17 2,811 9.1 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

6. pyre-check

   5 24 7,085 10.0 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

7. ruff-lsp

   6 7 1,495 5.7 Python

   A Language Server Protocol implementation for Ruff.

   

Suggest a related project