coq-community / coq-dpdgraph

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

Date Created 2014-02-26 (10 years ago)

Commits 271 (last one about a month ago)

Stargazers 86 (0 this week)

Watchers 8 (0 this week)

Forks 27

License lgpl-2.1

Ranking

RepositoryStats indexes 579,238 repositories, of these coq-community/coq-dpdgraph is ranked #319,101 (45th percentile) for total stargazers, and #244,003 for total watchers. Github reports the primary language for this repository as Coq, for repositories using this language it is ranked #55/105.

Other Information

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

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

There have been 16 releases, the latest one was published on 2024-03-21 (7 months ago) with the name Release 1.0 for coq 8.19.

All Topics

coq coq-ci coq-platform dependency-graph docker-coq-action dependency-analysis

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

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

Yearly Commits

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

Issue History

Languages

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

updated: 2024-09-17 @ 08:53am, id: 17204088 / R_kgDOAQaDeA