coq-community / coqeal

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

coq-community
coq-community
Date Created 2014-02-10 (11 years ago)
Commits 840 (last one 22 days ago)
Stargazers 69 (0 this week)
Watchers 13 (0 this week)
Forks 17
License other
Ranking

RepositoryStats indexes 630,459 repositories, of these coq-community/coqeal is ranked #394,072 (37th percentile) for total stargazers, and #161,478 for total watchers. Github reports the primary language for this repository as Coq, for repositories using this language it is ranked #72/111.

Other Information

coq-community/coqeal has 3 open pull requests on Github, 77 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 6 open issues and 15 closed issues.

There have been 19 releases, the latest one was published on 2025-02-18 (about a month ago) with the name CoqEAL release 2.1.0.

Star History

Github stargazers over time

7070606050504040303020201010002015201520162016201720172018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

151514.514.5141413.513.5131312.512.5121211.511.5111110.510.5101020232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

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

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

Yearly Commits

Commits to the default branch (master) per year

12012010010080806060404020200020142014201520152016201620172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
2525202015151010550020162016201720172018201820192019202020202021202120222022202320232024202420252025

Languages

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

CoqCoqNixNixMakefileMakefile

updated: 2025-03-07 @ 01:52am, id: 16694745 / R_kgDOAP692Q