theorem-labs /oss-verify-proofs
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- Stars
- 191 stars
- Forks
- 15 forks
- Language
- Rocq Prover
- License
- MIT
- Created
- Oct 22, 2026
- Last push
- Nov 2, 2026
- Updated
- Nov 2, 2026
Admitted to the Repository Index on Oct 24, 2026: +101 stars in 7 days.
Star History
13 days recorded, Oct 22, 2026 – Nov 3, 2026 (UTC). Net change +210 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/theorem-labs/oss-verify-proofs)Badge
[](https://awesomerepos.com/theorem-labs/oss-verify-proofs)Timeline
This repository got 62 stars on Oct 23, 2026, its largest day since it was created on Oct 22, 2026.
It gained stars on 12 of the 13 days with a record.
It reached 100 stars on Oct 24, 2026, 2 days after it was created.
Its latest release is v2026.11.0, published on Nov 2, 2026.
Its largest star day came 1 day after release sources-v1.
- Created on the Repository Host
- +46 stars in one day
- Release sources-v1: Source code (GPL/LGPL binaries)
- Release v2026.10.0-src
- Release v2026.10.0
- Largest star day recorded: +62 stars
- Entered the Repository Index: +101 stars in 7 days
- Reached 100 stars
- +28 stars in one day
- Release v2026.10.1: 2026.10.1
- Release v2026.11.0: 2026.11.0
- Latest push
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 10 Observations, Oct 25, 2026 – Nov 3, 2026. Forks +7. A new push was seen on 6 of 9 days.
- Oct 26, 2026: new push
- Oct 27, 2026: new push
- Oct 28, 2026: new push
- Oct 29, 2026: new push
- Oct 30, 2026: no new push
- Oct 31, 2026: no new push
- Nov 1, 2026: no new push
- Nov 2, 2026: new push
- Nov 3, 2026: 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 | 191 | 15 | Nov 2, 2026 | No |
| Nov 2, 2026 | 189 | 15 | Nov 1, 2026 | No |
| Nov 1, 2026 | 187 | 14 | Oct 28, 2026 | No |
| Oct 31, 2026 | 187 | 14 | Oct 28, 2026 | No |
| Oct 30, 2026 | 182 | 13 | Oct 28, 2026 | No |
| Oct 29, 2026 | 178 | 11 | Oct 28, 2026 | No |
| Oct 28, 2026 | 172 | 11 | Oct 27, 2026 | No |
| Oct 27, 2026 | 161 | 10 | Oct 26, 2026 | No |
| Oct 26, 2026 | 147 | 9 | Oct 25, 2026 | No |
| Oct 25, 2026 | 134 | 8 | Oct 23, 2026 | No |