Empowering everyone to build reliable and efficient software.

The Web framework for perfectionists with deadlines.

The Python programming language

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

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

Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.

Optional static typing for Python

Collection of library stubs for Python, with static types

An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.

Source code to djangoproject.com

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

Easily run Python at the shell! Magical, but never mysterious.

Example of using Rust to Extend Python

Cannoli Programming Language

Backported and experimental type hints for Python

Useful types for Python

Python wrapper of the RuRe.

Modern dev tools for Tcl • includes a linter, formatter, and editor integration.

Scripts and actions to auto-upload typeshed stubs to PyPI

Retrieve information from typeshed and other typing stubs

A Python type checker

Add default values to stubs

Source code for the mypy web site

Library and command-line tool to gather stats on typeshed packages