Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/

Elegant easy-to-use neural networks + scientific computing in JAX. https://docs.kidger.site/equinox/

High-performance Python runtime extensions

Claude Code Plugin Marketplace with LSP servers

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

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

Development repository for the Triton language and compiler

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…