[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"project-5659":3},{"id":4,"name":5,"fullName":6,"owner":7,"repo":5,"description":8,"homepage":9,"htmlUrl":10,"language":11,"languages":10,"totalLinesOfCode":10,"stars":12,"forks":13,"watchers":14,"openIssues":15,"contributorsCount":16,"subscribersCount":16,"size":16,"stars1d":16,"stars7d":17,"stars30d":18,"stars90d":16,"forks30d":16,"starsTrendScore":19,"compositeScore":20,"rankGlobal":10,"rankLanguage":10,"license":21,"archived":22,"fork":22,"defaultBranch":23,"hasWiki":22,"hasPages":24,"topics":25,"createdAt":10,"pushedAt":10,"updatedAt":41,"readmeContent":42,"aiSummary":43,"trendingCount":16,"starSnapshotCount":16,"syncStatus":44,"lastSyncTime":45,"discoverSource":46},5659,"pyrefly","facebook\u002Fpyrefly","facebook","A fast type checker and language server for Python","http:\u002F\u002Fpyrefly.org\u002F",null,"Rust",6622,394,21,516,0,19,929,9,83.29,"MIT License",false,"main",true,[26,27,28,29,30,31,32,33,34,35,36,37,38,39,40],"code-quality","contributions-welcome","good-first-issue","hacktoberfest","ide","language-server","lsp","python","rust","type-check","type-checker","typecheck","typechecker","types","typing","2026-06-12 04:00:26","# Pyrefly: A fast type checker and language server for Python with powerful IDE features\n\n[![pyrefly](https:\u002F\u002Fimg.shields.io\u002Fendpoint?url=https:\u002F\u002Fpyrefly.org\u002Fbadge.json)](https:\u002F\u002Fgithub.com\u002Ffacebook\u002Fpyrefly)\n[![PyPI](https:\u002F\u002Fimg.shields.io\u002Fpypi\u002Fv\u002Fpyrefly?color=blue&label=pypi)](https:\u002F\u002Fpypi.python.org\u002Fpypi\u002Fpyrefly)\n[![VS Code](https:\u002F\u002Fimg.shields.io\u002Fbadge\u002FVS%20Code-Marketplace-blue)](https:\u002F\u002Fmarketplace.visualstudio.com\u002Fitems?itemName=meta.pyrefly)\n[![Open VSX](https:\u002F\u002Fimg.shields.io\u002Fopen-vsx\u002Fdt\u002Fmeta\u002Fpyrefly?color=blue&label=Open%20VSX)](https:\u002F\u002Fopen-vsx.org\u002Fextension\u002Fmeta\u002Fpyrefly)\n[![Discord](https:\u002F\u002Fimg.shields.io\u002Fbadge\u002FDiscord-%235865F2.svg?logo=discord&logoColor=white)](https:\u002F\u002Fdiscord.gg\u002FCf7mFQtW7W)\n[![License: MIT](https:\u002F\u002Fimg.shields.io\u002Fbadge\u002FLicense-MIT-blue.svg)](https:\u002F\u002Fopensource.org\u002Flicenses\u002FMIT)\n\nPyrefly is a type checker and language server for Python, which provides\nlightning-fast type checking along with IDE features such as code navigation,\nsemantic highlighting, and code completion. It is available as a\n[command-line tool](https:\u002F\u002Fpyrefly.org\u002Fen\u002Fdocs\u002Finstallation\u002F) and an extension\nfor popular IDEs and editors such as\n[VSCode](https:\u002F\u002Fmarketplace.visualstudio.com\u002Fitems?itemName=meta.pyrefly),\n[Neovim](https:\u002F\u002Fpyrefly.org\u002Fen\u002Fdocs\u002FIDE\u002F#neovim),\n[Zed](https:\u002F\u002Fzed.dev\u002Fextensions\u002Fpyrefly), and\n[more](https:\u002F\u002Fpyrefly.org\u002Fen\u002Fdocs\u002FIDE\u002F).\n\nSee the [Pyrefly website](https:\u002F\u002Fpyrefly.org) for full documentation and how to\nadd Pyrefly to your editor of choice.\n\nPyrefly is currently in [beta](https:\u002F\u002Fgithub.com\u002Ffacebook\u002Fpyrefly\u002Freleases\u002Ftag\u002F0.42.0).\n\n### Key Features\n\n- **Fast.** Pyrefly checks over 1.85 million lines of code per second, type checking projects like PyTorch 15x faster than Mypy and Pyright. In the IDE, rechecks typically complete in under 10 milliseconds after saving a file.\n- **Production-proven at scale.** Pyrefly is the default type checker for Instagram's 20-million-line Python codebase at Meta, and has been adopted by large open source projects including PyTorch and JAX.\n- **Full-featured language server.** Code navigation, autocomplete, hover information, inlay hints, semantic highlighting, and more, with consistent results across the CLI and your editor of choice.\n- **Understands real-world Python.** Built-in support for frameworks like [Pydantic](https:\u002F\u002Fpyrefly.org\u002Fen\u002Fdocs\u002Fpydantic\u002F) and [Django](https:\u002F\u002Fpyrefly.org\u002Fen\u002Fdocs\u002Fdjango\u002F), with model validation, field types, and autocomplete that work out of the box.\n- **Adoption-ready.** Migrate from Mypy or Pyright with `pyrefly init`, silence existing errors with `pyrefly suppress`, and generate type annotations with `pyrefly infer`. Start with one file and expand at your own pace.\n\n### Getting Started\n\n- Try out pyrefly in your browser: [Sandbox](https:\u002F\u002Fpyrefly.org\u002Fsandbox\u002F)\n- Get the command-line tool: `pip install pyrefly`\n- Get the IDE Extension: [IDE installation page](https:\u002F\u002Fpyrefly.org\u002Fen\u002Fdocs\u002FIDE\u002F)\n\n### Version Policy\n\nPyrefly releases new minor versions (`0.x.0`) weekly, with patch fixes (`0.x.y`) in between as needed.\nPyrefly does *not* follow strict semantic versioning: any version may introduce new type errors and\nother breaking changes. The [`pyrefly suppress`](https:\u002F\u002Fpyrefly.org\u002Fen\u002Fdocs\u002Ferror-suppressions\u002F)\ncommand can be used to easily silence errors when upgrading to a new version.\n\n## Getting Involved\n\nIf you have questions or would like to report a bug, please\n[create an issue](https:\u002F\u002Fgithub.com\u002Ffacebook\u002Fpyrefly\u002Fissues).\n\nSee our\n[contributing guide](https:\u002F\u002Fgithub.com\u002Ffacebook\u002Fpyrefly\u002Fblob\u002Fmain\u002FCONTRIBUTING.md)\nand\n[architecture overview](https:\u002F\u002Fgithub.com\u002Ffacebook\u002Fpyrefly\u002Fblob\u002Fmain\u002FARCHITECTURE.md)\nfor information on how to contribute to Pyrefly.\n\nJoin our [Discord](https:\u002F\u002Fdiscord.com\u002Finvite\u002FCf7mFQtW7W) to chat about Pyrefly\nand types. This is also where we hold biweekly office hours.\n","Pyrefly 是一个用于 Python 的快速类型检查器和语言服务器，提供高效的类型检查以及代码导航、语义高亮显示和代码补全等IDE功能。它采用Rust语言编写，能够以每秒超过185万行的速度进行类型检查，比Mypy和Pyright快15倍。Pyrefly支持包括Pydantic和Django在内的多种框架，并且在Instagram的2000万行Python代码库中得到实际应用验证。适用于需要高性能类型检查与丰富开发辅助工具的Python项目，无论是个人开发者还是大型团队都能从中受益。此外，通过简单的命令如`pyrefly init`可以从Mypy或Pyright平滑迁移过来。",2,"2026-06-11 03:04:34","top_language"]