← Back to the directory

pyrefly-org/pyrefly

View on GitHub

A fast type checker and language server for Python

pyrefly-org/pyrefly is #6,243 on the bestofgithub Elo ladder, in Silver IV, with a rating of 1,463 (+42 this week). It has 7,206 stars, 17 gained in the last week.

Silver IV

1,463 Elo

  • #6,243 on the ladder
  • +9 today · +42 this week
  • Peak 1,463
1 Elo to Silver III

Stars

7,206

  • +6 today
  • +17 this week
  • – this month

Repository

Forks
603
Language
Rust
Last push

Achievements

bestofgithub badgeMaintainer? Show your league in your README

Card: your league's emblem, from Copper to Legendary

[![bestofgithub](https://bestofgithub.dev/badge/pyrefly-org/pyrefly.svg?style=card)](https://bestofgithub.dev/repo/pyrefly-org/pyrefly)

Flat: fits beside your other badges

[![bestofgithub](https://bestofgithub.dev/badge/pyrefly-org/pyrefly.svg)](https://bestofgithub.dev/repo/pyrefly-org/pyrefly)

Install

git
git clone https://github.com/pyrefly-org/pyrefly.git

Similar repositories

python/mypy

Open on GitHubPython

Optional static typing for Python

  • 1,644+15 Elo, change today
  • 20.7k stars
  • 3.4k forks
git
git clone https://github.com/python/mypy.git
  • linter
  • python
  • typechecker
  • types

neovim/nvim-lspconfig

Open on GitHubLua

Quickstart configs for Nvim LSP

  • 1,572+9 Elo, change today
  • 14k stars
  • 2.5k forks
git
git clone https://github.com/neovim/nvim-lspconfig.git
  • language-server
  • language-server-protocol
  • lsp
  • neovim

meta/pyre-check

Open on GitHubOCaml

Performant type-checking for python.

  • 1,303−2 Elo, change today
  • 7.1k stars
  • 448 forks
  • archived
git
git clone https://github.com/meta/pyre-check.git
  • abstract-interpretation
  • code-quality
  • control-flow-analysis
  • ocaml

microsoft/TypeScript

Open on GitHubGo

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • 1,939+3 Elo, change today
  • 111k stars
  • 14.6k forks
  • 2.2k watchers
brew
brew install typescript
  • javascript
  • language
  • typechecker
  • typescript

README

Loading README…