meta /pyre-check
Performant type-checking for python.
- Stars
- 7,180 stars
- Forks
- 448 forks
- Language
- OCaml
- License
- MIT
- Created
- Nov 10, 2017
- Last push
- Jun 26, 2026
- Updated
- Nov 2, 2026
- Status
- Archived
- python
- typechecker
- type-check
- static-analysis
- ocaml
- code-quality
- abstract-interpretation
- security
- program-analysis
- taint-analysis
- control-flow-analysis
In the Repository Index from the Seed Dataset since Oct 22, 2026.
Star History
193 days recorded, Apr 25, 2026 – Nov 3, 2026 (UTC). Net change +68 stars.
The star count of each day is the latest count less the net stars of the later days.
Add this Star History to a README
The images follow the light or dark theme of the page that shows them, and update every hour. Add ?theme=light or ?theme=darkto the chart address to keep one theme.
Star History chart
[](https://awesomerepos.com/meta/pyre-check)Badge
[](https://awesomerepos.com/meta/pyre-check)Timeline
This repository got 3 stars on Apr 26, 2026, its largest day since Apr 25, 2026.
It gained stars on 53 of the 193 days with a record.
Its largest 7 days were Apr 26, 2026 to May 2, 2026: 8 stars.
In the 30 days to Nov 3, 2026 it got 9 stars, 80% more than in the 30 days before.
It had 7,112 stars before Apr 25, 2026 and has 7,180 stars now: 2,820 fewer than 10,000.
Its latest release is v0.9.23, published on Oct 29, 2024.
It was archived before Oct 22, 2026, the day of its first Observation.
- Created on the Repository Host
- Release v0.9.9: Pyre v0.9.9
- Release v0.9.10: Pyre v0.9.10
- Release v0.9.11: Pyre v0.9.11
- Release v0.9.18: Pyre v0.9.18
- Release v0.9.23: PEP695 v0
- Largest star day recorded: +3 stars
- +2 stars in one day
- +2 stars in one day
- Latest push
- Entered the Repository Index from the Seed Dataset
From the Repository Host's creation date and releases, the Admission, the Star History, and the Observations. Star milestones show only when the Star History records the day. On the chart of net stars each day, a solid line marks a release.
Forks and pushes
From 13 Observations, Oct 22, 2026 – Nov 3, 2026. Forks -1. A new push was seen on 0 of 12 days.
- Oct 23, 2026: no new push
- Oct 24, 2026: no new push
- Oct 25, 2026: no new push
- Oct 26, 2026: no new push
- Oct 27, 2026: no new push
- Oct 28, 2026: no new push
- Oct 29, 2026: no new push
- Oct 30, 2026: no new push
- Oct 31, 2026: no new push
- Nov 1, 2026: no new push
- Nov 2, 2026: no new push
- Nov 3, 2026: no new push
A filled day: the last push time changed since the Observation before it.
Observations
What the Repository Host reported each day.
| Day (UTC) | Stars | Forks | Last push | Archived |
|---|---|---|---|---|
| Nov 3, 2026 | 7,180 | 448 | Jun 26, 2026 | Yes |
| Nov 2, 2026 | 7,181 | 448 | Jun 26, 2026 | Yes |
| Nov 1, 2026 | 7,181 | 448 | Jun 26, 2026 | Yes |
| Oct 31, 2026 | 7,181 | 448 | Jun 26, 2026 | Yes |
| Oct 30, 2026 | 7,181 | 448 | Jun 26, 2026 | Yes |
| Oct 29, 2026 | 7,180 | 448 | Jun 26, 2026 | Yes |
| Oct 28, 2026 | 7,179 | 448 | Jun 26, 2026 | Yes |
| Oct 27, 2026 | 7,177 | 449 | Jun 26, 2026 | Yes |
| Oct 26, 2026 | 7,177 | 449 | Jun 26, 2026 | Yes |
| Oct 25, 2026 | 7,177 | 449 | Jun 26, 2026 | Yes |
| Oct 24, 2026 | 7,177 | 449 | Jun 26, 2026 | Yes |
| Oct 23, 2026 | 7,177 | 449 | Jun 26, 2026 | Yes |
| Oct 22, 2026 | 7,177 | 449 | Jun 26, 2026 | Yes |