Windows software

Pyrefly

Name: Pyrefly
Author: Meta

facebook.pyrefly v1.1.1

A fast type checker and language server for Python

About this app

Pyrefly is a type checker and language server for Python, which provides lightning-fast type checking along with IDE features such as code navigation, semantic highlighting, and code completion. It is available as a command-line tool and an extension for popular IDEs and editors such as VSCode, Neovim, Zed, and more.

Install with Winget

Command line

PS> winget install --id facebook.pyrefly -e

Official manifest sources

Downloads for version 1.1.1

External links ↗

Installer	Details	SHA-256	Download
x64 github.com	zip	`D54E29B9F49877D2937710C975996CF00E6576F0A10EC4C84C9F6C370CA396A8`	Download
arm64 github.com	zip	`F75EB69610C76DF17C4A2279961003D896ECD4F880CA02F211F4ADE39F451FEC`	Download

Package information

Version: 1.1.1
Last updated: Jun 19, 2026
Publisher: Meta ↗
License: MIT ↗
Available versions: 1

Dependencies

No dependency information in this manifest.

Before you download

Links come from the Winget manifest and open external publisher infrastructure. Verify the publisher and checksum before running a file.

Similar software

Mihomo (GOAMD64=v1)

MetaCubeX.Mihomo.GOAMD64v1

A simple python pydantic model (type hint and autocompletion support) for Honkai: Star Rail parsed data from the Mihomo API.

v1.19.30 Aug 16, 2026

tombi

tombi-toml.tombi

TOML Formatter / Linter / Language Server

v1.3.5 Aug 13, 2026

rust-analyzer

Rustlang.rust-analyzer

rust-analyzer is a language server that provides IDE functionality for writing Rust programs. You can use it with any editor that supports the Language Server Protocol (VS Code, Vim, Emacs, Zed, etc).

v2026-08-24 Aug 24, 2026

Gleam

Gleam.Gleam

Gleam is a friendly language for building type-safe systems that scale!

v1.18.1 Aug 1, 2026