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

Source code for the mypy web site

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

Retrieve information from typeshed and other typing stubs

Scripts and actions to auto-upload typeshed stubs to PyPI

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

A Python type checker

Backported and experimental type hints for Python

Useful types for Python

Add default values to stubs

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

Collection of library stubs for Python, with static types

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

Optional static typing for Python

The Python programming language

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

Cannoli Programming Language

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

Python wrapper of the RuRe.

Example of using Rust to Extend Python

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

Source code to djangoproject.com

The Web framework for perfectionists with deadlines.

Empowering everyone to build reliable and efficient software.