Jedi's Successor: Zuban

[Dave Halter]

Hi

While Jedi hasn’t received much of my attention in recent years, I’m
excited to introduce Zuban: https://github.com/zubanls/zuban

. It represents the culmination of everything I’ve learned over the
past 15 years.

Zuban can be used as a Language Server, supporting diagnostics,
completions, goto, rename, and more. It also functions as a
Mypy-compatible type checker or as a type checker similar to PyRight.
With full support for the Python type system, Zuban feels largely
complete apart from a few minor bugs.

I’d be thrilled for people to test it and share their feedback on how
it performs!

~ Dave