Zuban

Zuban es un servidor de lenguaje Python de alto rendimiento y verificador de tipos implementado en Rust, por el autor de Jedi. Zuban es de 20 a 200 veces más rápido que Mypy, mientras utiliza aproximadamente la mitad de la memoria y CPU en comparación con Ty y Pyrefly. Ofrece tanto un modo similar a PyRight como un modo compatible con Mypy, que se comporta exactamente como Mypy; soportando los mismos archivos de configuración, banderas de línea de comandos y mensajes de error.