rocq-community / coq-dpdgraph

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

rocq-community
rocq-community
Date Created 2014-02-26 (11 years ago)
Commits 285 (last one 5 days ago)
Stargazers 89 (0 this week)
Watchers 7 (0 this week)
Forks 29
License lgpl-2.1
Ranking

RepositoryStats indexes 634,026 repositories, of these rocq-community/coq-dpdgraph is ranked #332,443 (48th percentile) for total stargazers, and #261,833 for total watchers. Github reports the primary language for this repository as Coq, for repositories using this language it is ranked #58/111.

Other Information

rocq-community/coq-dpdgraph has 9 open pull requests on Github, 86 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 9 open issues and 29 closed issues.

There have been 17 releases, the latest one was published on 2024-11-13 (4 months ago) with the name Release 1.0 for coq 8.20.

Star History

Github stargazers over time

9090808070706060505040403030202010100020162016201720172018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

8888887.57.577777720232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

67 commits on the default branch (coq-master) since jan '22

707060605050404030302020101000Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (coq-master) per year

6060505040403030202010100020142014201520152016201620172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
40403535303025252020151510105500201720172018201820192019202020202021202120222022202320232024202420252025

Languages

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

CoqCoqOCamlOCamlMakefileMakefileM4M4CSSCSSBatchfileBatchfile

updated: 2025-03-27 @ 06:21pm, id: 17204088 / R_kgDOAQaDeA