Repository profile
A fast type checker and language server for Python
Repository updates
Get generated facebook/pyrefly development summaries by email, or follow the weekly and monthly RSS feeds.
Sign in to subscribe by email. RSS feeds are public.
Sign in to subscribeTracked growth, recent movement, and commit velocity from stored repository snapshots.
Latest capture 2026-07-15 03:06
8 captures since 2026-05-22
Stars from baseline +349
All tracked data
Frameworks, package managers, ecosystems, and dependency manifests found during catalog scans.
Scanned 2026-07-15 03:06
Cargo.toml
rust ecosystem,
0 dependencies
Cargo.lock
rust ecosystem,
368 dependencies
package-lock.json
javascript ecosystem,
0 dependencies
yarn.lock
javascript ecosystem,
1 dependency
lsp/package.json
javascript ecosystem,
15 dependencies
pyrefly/Cargo.toml
rust ecosystem,
57 dependencies
pyrefly/pyproject.toml
python ecosystem,
1 dependency
pyrefly_wasm/Cargo.toml
rust ecosystem,
13 dependencies
Searchable topics, generated tags, and stack labels that explain where this repository fits.
Agent instructions and tool configuration paths found in the repository tree.
AI agent config detected
Key config paths
Nearest indexed repositories by embedding similarity.
Optional static typing for Python
An extremely fast Python type checker and language server, written in Rust.
A simple program which checks Python source files for errors
Dynamic, resilient AI orchestration. Coordinate data, models, and compute as you build AI workflows.
Data validation using Python type hints
All-in-One Native Local Development Environment for Windows, macOS & Linux. Docker alternative for PHP, Node.js, Python and more. Faster alternative to XAMPP, Laragon, MAMP and Laravel Herd with databases, Cron Jobs and runtime management.
