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.

Datazilla is a system for managing and visualizing data.

Provides encapsulation and a clean interface for data sources.