coq-community / coq-dpdgraph

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

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

Commits 278 (last one 3 days ago)

Stargazers 87 (0 this week)

Watchers 8 (0 this week)

Forks 28

License lgpl-2.1

Ranking

RepositoryStats indexes 595,856 repositories, of these coq-community/coq-dpdgraph is ranked #323,249 (46th percentile) for total stargazers, and #246,776 for total watchers. Github reports the primary language for this repository as Coq, for repositories using this language it is ranked #56/106.

Other Information

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

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

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

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

60 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-12-19 @ 12:08am, id: 17204088 / R_kgDOAQaDeA