A fast type checker and language server for Python
☆7,200Nov 13, 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.☆20,087Updated this week
- An extremely fast Python linter and code formatter, written in Rust.☆51,231Updated this week
- An extremely fast Python package and project manager, written in Rust.☆91,995Updated this week
- ⚡ A fast Git hook manager written in Rust, designed as a drop-in alternative to pre-commit, reimagined.☆8,797Updated this week
- Python Type Checker / Language Server☆1,242Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server☆3,653Updated this week
- Extremely fast Query Engine for DataFrames, written in Rust☆40,340Updated this week
- a Hassle-Free Python Experience☆14,109Feb 5, 2026Updated 9 months ago
- Static Type Checker for Python☆15,747Updated this week
- A Rust HTTP server for Python applications☆5,785Updated this week
- Rust bindings for the Python interpreter☆16,326Updated this week
- A secure Python sandbox, written in Rust, for code written by AI.☆8,921Updated this week
- A fast, feature-rich static code analyzer & language server for Python☆2,852May 10, 2025Updated last year
- A SQL database in Rust: SQLite-compatible, now also speaking Postgres (experimental). The LLVM of databases.☆25,254Updated 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,497Updated this week
- Powerful system-level package manager for Linux, macOS and Windows written in Rust – building on top of the Conda ecosystem.☆7,982Updated this week
- A Git-compatible VCS that is both simple and powerful☆32,493Updated this week
- 🤖 Just a command runner☆36,701Updated 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,550Updated this week
- Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages☆5,875Updated this week
- A Python Interpreter written in Rust☆22,482Updated this week
- dev tools, env vars, task runner☆36,140Updated this week
- Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.☆95,027Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ⚡A CLI tool for code structural search, lint and rewriting. Written in Rust☆16,580Updated this week
- 👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.☆64,101Updated this week
- Typer, build great CLIs. Easy to code. Based on Python type hints.☆20,353Updated this week
- Optional static typing for Python☆20,721Updated this week
- A markup-based typesetting system that is powerful and easy to learn.☆57,188Nov 6, 2026Updated last week
- A next generation HTTP client for Python. 🦋☆1,652Updated this week
- Python packaging and dependency management made easy☆34,323Updated this week
- Light, flexible and extensible ASGI framework | Built to scale☆8,556Updated this week
- Fast, correct Python JSON library supporting dataclasses, datetimes, and numpy☆8,292Oct 7, 2026Updated last month
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A fast serialization and validation library, with builtin support for JSON, MessagePack, YAML, and TOML☆4,222Updated this week
- AI observability platform for production LLM and agent systems.☆4,552Updated this week
- A post-modern modal text editor.☆46,892Updated this week
- A terminal workspace with batteries included☆36,059Updated this week
- The Modular Platform (includes MAX & Mojo)☆30,135Updated this week
- ✨ Making your shell magical☆32,352Updated this week
- DuckDB is a high-performance analytical database system☆43,061Updated this week
Are these results useful?