A fast type checker and language server for Python
☆6,866Aug 9, 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,430Updated this week
- An extremely fast Python linter and code formatter, written in Rust.☆49,115Updated this week
- An extremely fast Python package and project manager, written in Rust.☆88,535Updated this week
- ⚡ A fast Git hook manager written in Rust, designed as a drop-in alternative to pre-commit, reimagined.☆8,220Updated this week
- Python Type Checker / Language Server☆1,154Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server☆3,522Updated this week
- a Hassle-Free Python Experience☆14,172Feb 5, 2026Updated 6 months ago
- Extremely fast Query Engine for DataFrames, written in Rust☆39,319Updated this week
- A Rust HTTP server for Python applications☆5,541Updated this week
- A SQL database in Rust: SQLite-compatible, now also speaking Postgres (experimental). The LLVM of databases.☆23,784Updated this week
- A minimal, secure Python interpreter written in Rust for use by AI☆8,013Updated this week
- A Git-compatible VCS that is both simple and powerful☆30,895Updated this week
- Powerful system-level package manager for Linux, macOS and Windows written in Rust – building on top of the Conda ecosystem.☆7,550Updated 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…☆22,272Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Static Type Checker for Python☆15,577Updated this week
- A fast, feature-rich static code analyzer & language server for Python☆2,860May 10, 2025Updated last year
- Rust bindings for the Python interpreter☆16,010Updated this week
- Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.☆88,315Updated this week
- dev tools, env vars, task runner☆32,195Updated this week
- ⚡A CLI tool for code structural search, lint and rewriting. Written in Rust☆15,450Updated this week
- 👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.☆59,404Updated this week
- Data validation using Python type hints☆28,502Updated this week
- Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages☆5,742Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Python Interpreter written in Rust☆22,259Updated this week
- 🤖 Just a command runner☆35,202Updated this week
- A post-modern modal text editor.☆45,772Updated this week
- ✨ Making your shell magical☆31,086Updated this week
- Python packaging and dependency management made easy☆34,293Updated this week
- A Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs☆22,145Updated this week
- Optional static typing for Python☆20,587Updated this week
- AI Agent Framework, the Pydantic way☆19,169Updated this week
- 💥 Blazing fast terminal file manager written in Rust, based on async I/O.☆41,187Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- AI observability platform for production LLM and agent systems.☆4,416Updated this week
- ripgrep recursively searches directories for a regex pattern while respecting your gitignore☆67,142Updated this week
- Typer, build great CLIs. Easy to code. Based on Python type hints.☆19,881Updated this week
- An incremental parsing system for programming tools☆26,589Updated this week
- A new type of shell☆40,234Updated this week
- Fullstack app framework for web, desktop, and mobile.☆38,558Updated this week
- Light, flexible and extensible ASGI framework | Built to scale☆8,380Updated this week