Core developer for CPython, typing-extensions, typeshed, mypy, Black. Member of the Python Typing Council. Software engineer at OpenAI.
autotyping. Automatically add simple type annotations to your code
287unsoundness. Collecting examples of unsoundness in the Python type system
81sqltree. A SQL parser
64pycroscope. A Python type checker
42ast_decompiler. An AST-to-code library for Python
40typeshed_client. Retrieve information from typeshed and other typing stubs
31sqlalchemy-stubs. Type annotations for SQLAlchemy
25stubdefaulter. Add default values to stubs
19typing-spec. Draft specification for the Python type system
13lxml-stubs. Obsolete, please use https://github.com/lxml/lxml-stubs
12stublint. Linter for typeshed stubs
12lambda. Implementations of several variants of the lambda calculus.
7lib2toast. Compile a blib2to3 CST to a Python AST
6bytearound. bytearound is a library for parsing Python code objects into a more easily modifiable format.
6JPP. Phylogenetic inference using maximum parsimony in Python
5taxonomy. A database for handling taxonomic information, powering https://hesperomys.com
3inspect2. A backport of the Python 3.6 inspect module to Python 2.7-3.5
3regdis. A regex disassembler for Python
3EH. The EH Programming Language
2peps. Python Enhancement Proposals
2cpython. The Python programming language
2importlib_metadata. Backport of the importlib.metadata module
1httpx. A next generation HTTP client for Python. 🦋
1typing-council. Decisions by the Python Typing Council
1attrs. Python Classes Without Boilerplate
1compgenerator. Comprehension compilation fuzzer
1compfinder. Tool for finding class-scoped comprehensions whose name resolution might be impacted by PEP 709
1annotated-types. Reusable constraint types to use with typing.Annotated
1php-src. The PHP Interpreter
1gql-defrag. Merge GraphQL fragments into the parent query
1