Pyrefly

1. ruff

   1 150 47,950 10.0 Rust

   An extremely fast Python linter and code formatter, written in Rust.

   

   It has the codename "Red Knot".

   See the crates starting with red_knot in this directory to follow its development: https://github.com/astral-sh/ruff/tree/main/crates

2. SaaSHub

   www.saashub.com featured

   SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

   

3. basedpyright

   2 10 3,401 9.7 TypeScript

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

   

   Might be worth checking out https://github.com/DetachHead/basedpyright

   But I’ve had the same issue with too many warnings, mypy is better at understanding Python but even slower.

4. zed

   3 288 85,086 10.0 Rust

   Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

   

   I have some sympathies with the parent post as Zed is my daily driver and I mostly write Python. Pyright is horrible to work with, tons of false positives. Parent poster - you might find this useful: https://github.com/zed-industries/zed/discussions/24801

5. sapling

   4 62 6,858 10.0 Rust

   A Scalable, User-Friendly Source Control System.

   

   Sapling is actively developed, not "dead after 3 months": https://github.com/facebook/sapling/commits/main/

   Have not tried building Buck2 (no personal use for it), but its also actively developed: https://github.com/facebook/buck2/commits/main/

6. buck2

   5 41 4,356 10.0 Rust

   Build system, successor to Buck

   

   Sapling is actively developed, not "dead after 3 months": https://github.com/facebook/sapling/commits/main/

   Have not tried building Buck2 (no personal use for it), but its also actively developed: https://github.com/facebook/buck2/commits/main/

7. pyright

   6 151 15,476 9.0 Python

   Static Type Checker for Python

   

   They identified this as a bug and fixed it, then changed course and decided to reinstate the behaviour. So if you want to write idiomatic Python, you need to disable typechecking TypedDicts.

   — https://github.com/microsoft/pyright/issues/1739

   Now if this were a linter then I would understand. But a type checker should not be opinionated to the point of pushing people not to use idiomatic Python.

Suggest a related project