bestofgithub.dev

← Back to the directory

meta/pyre-check

View on GitHub

Performant type-checking for python.

meta/pyre-check is #9,630 on the bestofgithub Elo ladder, in Copper III, with a rating of 1,303 (−11 this week). It has 7,178 stars.

Copper III

1,303 Elo

  • #9,630 on the ladder
  • −2 today · −11 this week
  • Peak 1,337
19 Elo to Copper II

Stars

7,178

  • +0 today
  • +0 this week
  • – this month

Repository

Forks
448
Language
OCaml
Last push
Category
Security
Status
Archived

Achievements

bestofgithub badgeMaintainer? Show your league in your README

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

[![bestofgithub](https://bestofgithub.dev/badge/meta/pyre-check.svg?style=card)](https://bestofgithub.dev/repo/meta/pyre-check)

Flat: fits beside your other badges

[![bestofgithub](https://bestofgithub.dev/badge/meta/pyre-check.svg)](https://bestofgithub.dev/repo/meta/pyre-check)

Install

git
git clone https://github.com/meta/pyre-check.git

Similar repositories

meta/infer

Open on GitHubOCaml

A static analyzer for Java, C, C++, and Objective-C

  • 1,573+6 Elo, change today
  • 15.7k stars
  • 2.1k forks
git
git clone https://github.com/meta/infer.git
  • c
  • code-quality
  • cpp
  • java

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
v7.0.22mo ago
  • javascript
  • language
  • typechecker
  • typescript

checkstyle/checkstyle

Open on GitHubJava

Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.

  • 1,640+28 Elo, change today
  • 9.6k stars
  • 4.4k forks
git
git clone https://github.com/checkstyle/checkstyle.git
  • code-quality
  • command-line-tool
  • hacktoberfest
  • java

pyrefly-org/pyrefly

Open on GitHubRust

A fast type checker and language server for Python

  • 1,463+9 Elo, change today
  • 7.2k stars
  • 603 forks
git
git clone https://github.com/pyrefly-org/pyrefly.git
  • code-quality
  • ide
  • language-server
  • language-server-protocol

SonarSource/sonarqube

Open on GitHubJava

Continuous Inspection

  • 1,594−15 Elo, change today
  • 11.1k stars
  • 2.2k forks
git
git clone https://github.com/SonarSource/sonarqube.git
  • code-quality
  • sonarqube
  • static-analysis

google/error-prone

Open on GitHubJava

Catch common Java mistakes as compile-time errors

  • 1,394+3 Elo, change today
  • 7.2k stars
  • 838 forks
git
git clone https://github.com/google/error-prone.git
  • java
  • static-analysis

README

Loading README…