Welcome to Issue Stats!


Analyze and compare how long it takes for Github issues to be closed.



Check out some examples:





Github Repository Time to Close Pull Requests ▼ Time to Close Issues Closed Issues Stars Forks Size
uwplse/crimp less than a minute 25 days 2 3 1 697 Coq
coq-io/io less than a minute about 15 hours 2 3 0 261 Coq
vrahli/NuprlInCoq 3 minutes 14 minutes 2 7 1 0 Coq
jscert/jscert 11 minutes about 1 month 2 117 3 13759 Coq
pirapira/dry-analyzer 34 minutes about 10 hours 2 6 2 61 Coq
uwplse/verdi 37 minutes 3 days 15 138 7 2568 Coq
UniMath/TypeTheory about 1 hour about 23 hours 17 8 0 1442 Coq
vrahli/nuprlincoq about 1 hour about 8 hours 5 12 2 2241 Coq
math-comp/math-comp about 1 hour about 1 month 2 4 2 2829 Coq
coq-ext-lib/coq-ext-lib about 1 hour about 3 hours 5 24 2 1443 Coq
vellvm/vellvm-legacy about 2 hours 1 day 4 3 0 5608 Coq
ekmett/comonad-transformers about 2 hours about 14 hours 3 7 3 238 Coq
PrincetonUniversity/VST about 2 hours 28 days 25 12 3 13221 Coq
hazelgrove/hazel about 3 hours 3 months 19 11 5 1420 Coq
ilyasergey/pnp about 3 hours about 3 hours 2 28 3 957 Coq
nmvdw/Three-HITs about 3 hours about 20 hours 6 13 2 4753 Coq
princetonuniversity/vst about 3 hours 2 months 43 20 4 18380 Coq
clarus/coq-chick-blog about 5 hours 6 days 4 101 4 752 Coq
mit-pdos/fscq about 6 hours about 21 hours 2 83 6 6534 Coq
siddharthist/coq-big-o about 10 hours 1 day 4 12 0 54 Coq
c-corn/corn about 13 hours 1 day 28 40 16 10038 Coq
unimath/unimath about 14 hours 12 days 264 136 26 8971 Coq
HoTT/HoTT about 15 hours 14 days 709 298 68 246893 Coq
UniMath/UniMath about 15 hours 14 days 107 98 18 7347 Coq
hott/hott about 15 hours 14 days 716 342 72 246059 Coq
mattam82/Coq-Equations about 22 hours 1 day 12 15 4 1011 Coq
TheoWinterhalter/formal-type-theory about 22 hours about 2 months 31 8 1 1263 Coq
bmsherman/topology about 22 hours 2 days 10 11 1 6675 Coq
math-comp/finmap about 23 hours about 1 month 7 7 4 189 Coq
Barbichu/finmap about 23 hours about 1 month 7 7 3 188 Coq