coq-community / manifesto

Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.

Date Created 2017-12-18 (7 years ago)
Commits 135 (last one 9 months ago)
Stargazers 68 (0 this week)
Watchers 11 (0 this week)
Forks 6
License other
Ranking

RepositoryStats indexes 619,220 repositories, of these coq-community/manifesto is ranked #393,103 (37th percentile) for total stargazers, and #194,074 for total watchers.

Other Information

coq-community/manifesto has Github issues enabled, there are 37 open issues and 73 closed issues.

Star History

Github stargazers over time

70706060505040403030202010100020192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

12121212121211.511.511111111111120232023Feb '23Feb '23Apr '23Apr '23Jun '23Jun '23Aug '23Aug '23Oct '23Oct '23Dec '23Dec '23Feb '24Feb '24Apr '24Apr '24Jun '24Jun '24Aug '24Aug '24Oct '24Oct '24Dec '24Dec '24Feb '25Feb '25

Recent Commit History

10 commits on the default branch (master) since jan '22

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

Yearly Commits

Commits to the default branch (master) per year

70706060505040403030202010100020172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
12012010010080806060404020200020192019202020202021202120222022202320232024202420252025

Languages

We don't have any language data for this repository

It's a mystery

updated: 2025-02-18 @ 09:20pm, id: 114664048 / R_kgDOBtWicA