A fast type checker and language server for Python
☆6,799Jul 20, 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,234Updated this week
- An extremely fast Python linter and code formatter, written in Rust.☆48,710Updated this week
- An extremely fast Python package and project manager, written in Rust.☆87,673Updated this week
- ⚡ A fast Git hook manager written in Rust, designed as a drop-in alternative to pre-commit, reimagined.☆8,087Updated this week
- Python Type Checker / Language Server☆1,138Updated 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.
- pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server☆3,489Updated this week
- a Hassle-Free Python Experience☆14,192Feb 5, 2026Updated 5 months ago
- Extremely fast Query Engine for DataFrames, written in Rust☆39,061Updated this week
- A SQL database in Rust: SQLite-compatible, now also speaking Postgres (experimental). The LLVM of databases.☆23,247Updated this week
- A minimal, secure Python interpreter written in Rust for use by AI☆7,906Updated this week
- A Git-compatible VCS that is both simple and powerful☆30,469Updated this week
- Powerful system-level package manager for Linux, macOS and Windows written in Rust – building on top of the Conda ecosystem.☆7,468Updated this week
- Static Type Checker for Python☆15,533Updated this week
- A fast, feature-rich static code analyzer & language server for Python☆2,864May 10, 2025Updated last year
- 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.
- Rust bindings for the Python interpreter☆15,935Updated this week
- Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.☆87,282Updated this week
- dev tools, env vars, task runner☆30,929Updated this week
- ⚡A CLI tool for code structural search, lint and rewriting. Written in Rust☆15,132Updated this week
- 👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.☆58,416Updated this week
- Data validation using Python type hints☆28,330Updated this week
- Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages☆5,708Updated 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…☆21,919Updated this week
- A Python Interpreter written in Rust☆22,207Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 🤖 Just a command runner☆34,845Updated this week
- A post-modern modal text editor.☆45,531Updated this week
- A Rust HTTP server for Python applications☆5,494Jul 3, 2026Updated 2 weeks ago
- Python packaging and dependency management made easy☆34,293Jul 13, 2026Updated last week
- A Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs☆21,804Updated this week
- Optional static typing for Python☆20,544Updated this week
- AI Agent Framework, the Pydantic way☆18,674Updated this week
- 💥 Blazing fast terminal file manager written in Rust, based on async I/O.☆40,540Updated this week
- Support for the Pyrefly Python LSP in Zed☆60Jun 7, 2026Updated last month
- 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.
- ripgrep recursively searches directories for a regex pattern while respecting your gitignore☆66,361Updated this week
- AI observability platform for production LLM and agent systems.☆4,380Updated this week
- Typer, build great CLIs. Easy to code. Based on Python type hints.☆19,785Updated this week
- A new type of shell☆40,051Updated this week
- Light, flexible and extensible ASGI framework | Built to scale☆8,346Updated this week
- Fullstack app framework for web, desktop, and mobile.☆37,251Updated this week
- A markup-based typesetting system that is powerful and easy to learn.☆54,993Updated this week