Collecting examples of unsoundness in the Python type system

An extremely fast Python type checker and language server, written in Rust.

Replacing Python's type system.

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

Rust debugger for Linux x86-64

Python static typing home. Hosts the documentation and a user help forum.

A public mirror of our benchmarking runner repository

The Python programming language

The HotPy VM from my PhD.

The Python programming language

A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree

Safe code refactoring for modern Python.

Performant type-checking for python.

The uncompromising Python code formatter

A Python library that generates static type annotations by collecting runtime types

Optional static typing for Python

Retrieve information from typeshed and other typing stubs

A set of Ansible playbooks to build and maintain your own private cloud: email, calendar, contacts, file sync, IRC bouncer, VPN, and more.

Silky smooth profiling for Django

Selects tests affected by changed files. Executes the right tests first. Continuous test runner when used with pytest-watch.

A simple python S3 upload library. Inspired by requests

Functions for transforming PostgreSQL and PL/v8 into a totally awesome JSON document store

NIH site generator

Client libraries to interact with the datazilla database.

Automated scraping markup+CSS from a list of relevant URLs, using a variety of user-agent strings. Provides reporting on usage of CSS properties and apparent user-agent sniffing.

Client libraries to interact with the datazilla database.

The Web framework for perfectionists with deadlines. Now on GitHub.