A fast type checker and language server for Python
☆6,976Sep 18, 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,714Updated this week
- An extremely fast Python linter and code formatter, written in Rust.☆49,681Updated this week
- An extremely fast Python package and project manager, written in Rust.☆89,950Updated this week
- ⚡ A fast Git hook manager written in Rust, designed as a drop-in alternative to pre-commit, reimagined.☆8,431Updated this week
- Python Type Checker / Language Server☆1,195Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server☆3,601Updated this week
- a Hassle-Free Python Experience☆14,154Feb 5, 2026Updated 7 months ago
- Extremely fast Query Engine for DataFrames, written in Rust☆39,774Updated this week
- A Rust HTTP server for Python applications☆5,656Updated this week
- A SQL database in Rust: SQLite-compatible, now also speaking Postgres (experimental). The LLVM of databases.☆24,315Updated this week
- A minimal, secure Python interpreter written in Rust for use by AI☆8,237Updated this week
- A Git-compatible VCS that is both simple and powerful☆31,643Updated this week
- Powerful system-level package manager for Linux, macOS and Windows written in Rust – building on top of the Conda ecosystem.☆7,737Updated 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,826Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Static Type Checker for Python☆15,648Updated this week
- A fast, feature-rich static code analyzer & language server for Python☆2,854May 10, 2025Updated last year
- Rust bindings for the Python interpreter☆16,152Updated this week
- Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.☆90,491Updated this week
- dev tools, env vars, task runner☆34,075Updated this week
- ⚡A CLI tool for code structural search, lint and rewriting. Written in Rust☆15,951Updated this week
- 👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.☆61,258Updated this week
- Data validation using Python type hints☆28,819Updated this week
- Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages☆5,809Updated 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.
- A Python Interpreter written in Rust☆22,355Updated this week
- 🤖 Just a command runner☆35,872Sep 1, 2026Updated 2 weeks ago
- A post-modern modal text editor.☆46,268Updated this week
- ✨ Making your shell magical☆31,686Updated this week
- Python packaging and dependency management made easy☆34,305Updated this week
- A Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs☆22,638Updated this week
- Optional static typing for Python☆20,644Updated this week
- How Python does AI. Agents, realtime voice, image generation, embeddings. Every model, every interface, typed end to end.☆20,027Updated this week
- 💥 Blazing fast terminal file manager written in Rust, based on async I/O.☆42,273Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Support for the Pyrefly Python LSP in Zed☆62Jun 7, 2026Updated 3 months ago
- ripgrep recursively searches directories for a regex pattern while respecting your gitignore☆68,407Aug 4, 2026Updated last month
- AI observability platform for production LLM and agent systems.☆4,480Updated this week
- Typer, build great CLIs. Easy to code. Based on Python type hints.☆19,995Sep 8, 2026Updated last week
- An incremental parsing system for programming tools☆26,994Updated this week
- A new type of shell☆40,520Updated this week
- Fullstack app framework for web, desktop, and mobile.☆39,169Updated this week