A fast type checker and language server for Python
☆5,537Apr 3, 2026Updated last 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.☆18,220Updated this week
- An extremely fast Python linter and code formatter, written in Rust.☆46,910Updated this week
- An extremely fast Python package and project manager, written in Rust.☆82,599Updated this week
- a Hassle-Free Python Experience☆14,260Feb 5, 2026Updated 2 months ago
- A fast, feature-rich static code analyzer & language server for Python☆2,869May 10, 2025Updated 11 months ago
- 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.
- pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server☆3,240Apr 3, 2026Updated last week
- Extremely fast Query Engine for DataFrames, written in Rust☆37,976Updated this week
- ⚡ A Git hook manager written in Rust, designed as a drop-in alternative to pre-commit.☆7,230Updated this week
- Rust bindings for the Python interpreter☆15,541Updated this week
- Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages☆5,534Updated this week
- Static Type Checker for Python☆15,352Mar 29, 2026Updated last week
- A Python Interpreter written in Rust☆21,932Updated this week
- A Git-compatible VCS that is both simple and powerful☆27,651Updated 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…☆20,140Apr 3, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Data validation using Python type hints☆27,344Apr 3, 2026Updated last week
- Turso is an in-process SQL database, compatible with SQLite.☆18,142Updated this week
- AI observability platform for production LLM and agent systems.☆4,150Apr 3, 2026Updated last week
- ⏰ Modern datetime library for Python☆2,318Updated this week
- 🤖 Just a command runner☆32,582Apr 4, 2026Updated last week
- 👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.☆50,040Updated this week
- Powerful system-level package manager for Linux, macOS and Windows written in Rust – building on top of the Conda ecosystem.☆6,787Updated this week
- Python packaging and dependency management made easy☆34,262Apr 3, 2026Updated last week
- Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.☆78,386Apr 3, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A Rust HTTP server for Python applications☆5,226Updated this week
- A modern Python package and dependency manager supporting the latest PEP standards☆8,552Apr 2, 2026Updated last week
- Typer, build great CLIs. Easy to code. Based on Python type hints.☆19,159Updated this week
- dev tools, env vars, task runner☆26,476Updated this week
- A very fast linker for Linux☆3,470Updated this week
- Memray is a memory profiler for Python☆14,976Apr 3, 2026Updated last week
- Optional static typing for Python☆20,352Updated this week
- ⚡A CLI tool for code structural search, lint and rewriting. Written in Rust☆13,333Updated this week
- Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.☆14,780Apr 3, 2026Updated last week
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- 💥 Blazing fast terminal file manager written in Rust, based on async I/O.☆36,017Updated this week
- A post-modern modal text editor.☆43,747Apr 1, 2026Updated last week
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆11,124Updated this week
- Light, flexible and extensible ASGI framework | Built to scale☆8,133Updated this week
- A markup-based typesetting system that is powerful and easy to learn.☆52,429Apr 2, 2026Updated last week
- AI Agent Framework, the Pydantic way☆16,185Updated this week
- ✨ Making your shell magical☆28,987Updated this week