A fast type checker and language server for Python
☆7,169Oct 29, 2026Updated this week
Alternatives and similar repositories for pyrefly
Users that are interested in pyrefly are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An extremely fast Python type checker and language server, written in Rust.☆19,984Updated this week
- An extremely fast Python linter and code formatter, written in Rust.☆50,343Updated this week
- An extremely fast Python package and project manager, written in Rust.☆91,342Updated this week
- ⚡ A fast Git hook manager written in Rust, designed as a drop-in alternative to pre-commit, reimagined.☆8,698Updated this week
- Python Type Checker / Language Server☆1,231Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server☆3,639Updated this week
- Extremely fast Query Engine for DataFrames, written in Rust☆40,229Updated this week
- a Hassle-Free Python Experience☆14,118Feb 5, 2026Updated 8 months ago
- Static Type Checker for Python☆15,717Updated this week
- A Rust HTTP server for Python applications☆5,758Updated this week
- Rust bindings for the Python interpreter☆16,280Updated this week
- A secure Python sandbox, written in Rust, for code written by AI.☆8,800Updated this week
- A fast, feature-rich static code analyzer & language server for Python☆2,854May 10, 2025Updated last year
- A SQL database in Rust: SQLite-compatible, now also speaking Postgres (experimental). The LLVM of databases.☆25,091Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Data validation using Python type hints☆29,223Updated this week
- A Git-compatible VCS that is both simple and powerful☆32,298Updated this week
- 🤖 Just a command runner☆36,483Updated this week
- Powerful system-level package manager for Linux, macOS and Windows written in Rust – building on top of the Conda ecosystem.☆7,920Updated this week
- A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with gi…☆23,363Updated this week
- Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages☆5,854Updated this week
- A Python Interpreter written in Rust☆22,431Updated this week
- dev tools, env vars, task runner☆35,532Updated this week
- Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.☆92,363Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ⚡A CLI tool for code structural search, lint and rewriting. Written in Rust☆16,393Updated this week
- Typer, build great CLIs. Easy to code. Based on Python type hints.☆20,250Oct 15, 2026Updated 2 weeks ago
- A markup-based typesetting system that is powerful and easy to learn.☆56,878Updated this week
- 👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.☆62,926Updated this week
- Optional static typing for Python☆20,710Updated this week
- Light, flexible and extensible ASGI framework | Built to scale☆8,531Updated this week
- Python packaging and dependency management made easy☆34,322Updated this week
- AI observability platform for production LLM and agent systems.☆4,526Updated this week
- A next generation HTTP client for Python. 🦋☆1,598Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Fast, correct Python JSON library supporting dataclasses, datetimes, and numpy☆8,281Oct 7, 2026Updated 3 weeks ago
- A fast serialization and validation library, with builtin support for JSON, MessagePack, YAML, and TOML☆4,190Updated this week
- A terminal workspace with batteries included☆35,883Updated this week
- A post-modern modal text editor.☆46,726Sep 29, 2026Updated last month
- DuckDB is a high-performance analytical database system☆42,687Updated this week
- The Modular Platform (includes MAX & Mojo)☆30,070Updated this week
- ✨ Making your shell magical☆32,131Updated this week