Pyre: A performant type-checker for Python 3

This page summarizes the projects mentioned and recommended in the original post on

Our great sponsors
  • SonarQube - Static code analysis for 29 languages.
  • OPS - Build and Run Open Source Unikernels
  • Scout APM - Less time debugging, more time building
  • pytype

    A static type analyzer for Python code

    No. I didn't expect it to be non-blaze/bazel tool friendly, but sounds like it is (aims to be at lest)?

    It does seems to support the entire-directory parsing as well. That's nice! Let me give it a try next time. Thanks for the tip!

    As a reminder to myself, here is the link to the doc:

  • typing

    Python static typing home. Contains the source for typing_extensions and the documentation. Also hosts a user help forum.

    > Similarly where a language with first-class support for types might have `type Foo`, Python makes you write `T = TypeVar("T"); class Foo(Generic[T])` or something like that, and it gets more confusing when you only want one of the methods to be generic and I can never remember whether that `T` takes on a single type across all uses or which scope I need to define it in, etc.

    I don't know about you but I find PEP 484 very clear here:

  • SonarQube

    Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  • pyre-check

    Performant type-checking for python.

  • mamba

    The Fast Cross-Platform Package Manager

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts