Project the aircraft passing overhead onto your ceiling in real time, from an RTL-SDR — with a live sky layer (sun, moon, stars, ISS) and where each plane is headed.

Type annotation coverage statistics for Python packages

Ray is an AI compute engine. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

Official Codebase for "DreamDojo: A Generalist Robot World Model from Large-Scale Human Videos" (ICML 2026)

A novel data compression framework

Opinionated typing package for precise type hints in Python

A fast type checker and language server for Python

🍩 Type stubs for Django

An AI Gateway, registry, and proxy that sits in front of any MCP, A2A, or REST/gRPC APIs, exposing a unified endpoint with centralized discovery, guardrails and management. Optimizes Agent & Tool c…

🚀✨ Help beginners to contribute to open source projects

Support for the Pyrefly Python LSP in Zed

A fast and efficient type assistant for Python, including tensor shape inference

Automatically add simple type annotations to your code

GitHub Action for pyright

Advanced Python linting framework with auto-fixes and hierarchical configuration that makes it easy to write custom in-repo lint rules.

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Collection of library stubs for Python, with static types

Build system, successor to Buck

VS Code extension for µfmt

It's like Copilot but for suggesting where and how to make code changes.

An Error-Recovering Parser for Python

V2 of Real World OCaml

Performant type-checking for python.

open source driving agent

Shared Memory Objects for Node

Turn any program that uses STDIN/STDOUT into a WebSocket server. Like inetd, but for WebSockets.

A Node.JS MJPEG proxy implementation