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

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• 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