Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Development repository for the Triton language and compiler

A Python-embedded DSL that makes it easy to write fast, scalable ML kernels with minimal boilerplate.

Tensors and Dynamic neural networks in Python with strong GPU acceleration

A fast type checker and language server for Python

A demo of Pyrefly for Pydantic

Production-ready platform for agentic workflow development.

Public type stubs for pandas

On-device AI across mobile, embedded and edge for PyTorch

Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more

Performant type-checking for python.

Dataframes powered by a multithreaded, vectorized query engine, written in Rust

⚡ xarray data creation by data classes

Website for testing snippets of code using the pyright type checker

Static Type Checker for Python

A collection of tools for writing technical documents that mix Coq code and prose.

Canonical source repository for PyYAML

Microsoft Authentication Library (MSAL) for Python makes it easy to authenticate to Microsoft Entra ID. General docs are available here https://learn.microsoft.com/entra/msal/python/ Stable APIs ar…

Collection of library stubs for Python, with static types

Repository for the "Building a Typechecker from scratch" class

Source code for "Essentials of Interpretation" class

Building a Parser from scratch