Popular: Data updated October 27, 2026

Categories

Internet1,356
Communication321
Audio & video898
Graphics & design539
Office & productivity1,124
Developer tools3,134
AI tools529
Security & privacy385
System tools3,114
Games523
Education & science239
Network & IT284

Pyrefly 1.1.1 download

A fast type checker and language server for Python

This is an older version. The current version is 1.4.0. Pyrefly 1.4.0 · Released:

Installer files 1.1.1

ArchitectureTypeScopeFile sizeDownloadSHA256
64-bit ZIP → Portable — — github.com VirusTotal
ARM64 ZIP → Portable — — github.com VirusTotal

Link and SHA256 come from the Windows Package Manager community manifest. Compare the hash of the downloaded file before running it.

Release notes

Release date: June 18, 2026

Pyrefly v1.1.1 is a patch release with a single bug fix.

-----

## 🐛 Bug fixes

- #3867: Fixed a regression introduced in 1.1.0 where isinstance() narrowing of a union variable
silently stopped working when an earlier sibling branch in the same if/elif/else chain narrowed
a different variable with isinstance() and returned. The later narrowing left the union
untouched, producing false missing-attribute errors on code that checked correctly in 1.0.0.

Thank-you to all our contributors who found these bugs and reported them! Did you know this is one
of the most helpful contributions you can make to an open-source project? If you find any bugs in
Pyrefly we want to know about them! Please open a bug report issue here.

https://github.com/facebook/pyrefly/releases/tag/1.1.1

Most popular in Languages & SDKs

See all
  1. Go Programming LanguageAn open source programming language that makes it simple to build secure, scalable systems.
  2. LLVMA collection of modular and reusable compiler and toolchain technologies.
  3. DenoA modern runtime for JavaScript and TypeScript
  4. CMakeCMake is a cross-platform, open-source build system generator.
  5. YarnYarn is a package manager that doubles down as project manager. Whether you work on one-shot projects or large monorepos, as a hobbyist or an enterprise user, we've got you covered.
  6. CcacheCcache is a compiler cache. It speeds up recompilation by caching previous compilations and detecting when the same compilation is being done again.
  7. sbtA build tool for Scala, Java, and more
  8. BOINCOpen-source software for volunteer computing and grid computing.
  9. Dart SDKA set of tools and libraries for the Dart programming language.
  10. NVM for WindowsA node.js version management utility for Windows. Ironically written in Go.

More from Meta

See all
  • ZstandardZstandard is a fast lossless compression algorithm, targeting real-time compression scenarios at zlib-level and better compression ratios. It's backed by a very fast entropy stage, provided by Huff0 and FSE library.
  • Oculus Platform UtilityThe Oculus platform utility is a command-line tool that enables you upload builds to your release channels much faster than using the developer dashboard web interface, and it enables larger upload packages.

Tags

Share