facebook / pyre-check

Performant type-checking for python.

Date Created 2017-11-10 (7 years ago)
Commits 18,659 (last one 10 hours ago)
Stargazers 6,926 (8 this week)
Watchers 115 (0 this week)
Forks 444
License mit
Ranking

RepositoryStats indexes 618,350 repositories, of these facebook/pyre-check is ranked #6,595 (99th percentile) for total stargazers, and #15,072 for total watchers. Github reports the primary language for this repository as OCaml, for repositories using this language it is ranked #5/723.

facebook/pyre-check is also tagged with popular topics, for these it's ranked: python (#549/22999),  security (#137/4163),  static-analysis (#29/525),  ocaml (#6/293),  code-quality (#10/169)

Other Information

facebook/pyre-check has 22 open pull requests on Github, 4 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 122 open issues and 304 closed issues.

There have been 12 releases, the latest one was published on 2024-10-29 (3 months ago) with the name PEP695 v0.

Homepage URL: https://pyre-check.org/

Star History

Github stargazers over time

7k7k6k6k5k5k4k4k3k3k2k2k1k1k0020192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

11611611511511411411311311211211111111011010910910810820232023Feb '23Feb '23Apr '23Apr '23Jun '23Jun '23Aug '23Aug '23Oct '23Oct '23Dec '23Dec '23Feb '24Feb '24Apr '24Apr '24Jun '24Jun '24Aug '24Aug '24Oct '24Oct '24Dec '24Dec '24Feb '25Feb '25

Recent Commit History

7,879 commits on the default branch (main) since jan '22

8k8k7k7k6k6k5k5k4k4k3k3k2k2k1k1k00Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (main) per year

3.5k3.5k3k3k2.5k2.5k2k2k1.5k1.5k1k1k5005000020172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
45045040040035035030030025025020020015015010010050500020192019202020202021202120222022202320232024202420252025

Languages

The primary language is OCaml but there's also others...

OCamlOCamlPythonPythonRustRustCCTypeScriptTypeScriptShellShellHTMLHTMLMakefileMakefileDuneDune

updated: 2025-02-22 @ 07:59am, id: 110274488 / R_kgDOBpKnuA