rocq-community /coq-dpdgraph

Star History

193 days recorded, Apr 25, 2026 – Nov 3, 2026 (UTC). Net change +6 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

[![Star History of rocq-community/coq-dpdgraph](https://awesomerepos.com/rocq-community/coq-dpdgraph/stars.svg)](https://awesomerepos.com/rocq-community/coq-dpdgraph)Copy

Badge

[![AwesomeRepos](https://awesomerepos.com/rocq-community/coq-dpdgraph/badge.svg)](https://awesomerepos.com/rocq-community/coq-dpdgraph)Copy

Timeline

1. Feb 26, 2014Created on the Repository Host
2. Mar 21, 2024Release v1.0+8.19: Release 1.0 for coq 8.19
3. Nov 13, 2024Release v1.0+8.20: Release 1.0 for coq 8.20
4. May 28, 2025Release v1.0+9.0: Release 1.0 for rocq 9.0
5. Dec 9, 2025Release v1.0+9.1: Release 1.0 for rocq 9.1
6. Dec 12, 2025Release v1.0+9.1-1: Makefile variant for Release 1.0 for rocq 9.1
7. Jun 24, 2026Largest star day recorded: +1 stars
8. Jul 2, 2026+1 stars in one day
9. Jul 22, 2026Reached 100 stars
10. Jul 22, 2026+1 stars in one day
11. Oct 22, 2026Entered the Repository Index from the Seed Dataset
12. Oct 27, 2026Latest 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 13 Observations, Oct 22, 2026 – Nov 3, 2026. Forks 0. A new push was seen on 1 of 12 days.

Observations

What the Repository Host reported each day.