coq-community / coq-dpdgraph

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

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

Commits 274 (last one 8 days ago)

Stargazers 86 (0 this week)

Watchers 8 (0 this week)

Forks 28

License lgpl-2.1

Ranking

RepositoryStats indexes 584,777 repositories, of these coq-community/coq-dpdgraph is ranked #321,502 (45th percentile) for total stargazers, and #244,849 for total watchers. Github reports the primary language for this repository as Coq, for repositories using this language it is ranked #55/106.

Other Information

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

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

There have been 17 releases, the latest one was published on 2024-11-13 (8 days 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

56 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-11-21 @ 02:10pm, id: 17204088 / R_kgDOAQaDeA