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
freebroccolo/multisetoids about 1 hour 5 months 13 4 0 396 Agda
HoTT/M-types 1 minute about 4 hours 2 6 1 2411 Agda
agda/agda-frp-ltl 1 day 1 day 2 21 1 162 Agda
freebroccolo/nbe about 1 hour about 3 years 3 5 1 24 Agda
inc-lc/ilc-agda 4 days 1 day 10 5 1 876 Agda
pepijnkokke/FirstOrderUnificationInAgda 1 day 1 day 2 4 1 15 Agda
jonsterling/agda-sheaf-semantics 6 days 29 days 2 3 1 442 Agda
joaopizani/piware-agda about 23 hours 1 day 25 3 1 1502 Agda
freebroccolo/agda-groupoids 8 minutes 21 days 33 3 1 392 Agda
jonsterling/agda-bar-induction 7 minutes about 18 hours 9 3 1 28 Agda
freebroccolo/agda-prelude 23 minutes about 1 month 10 9 2 145 Agda
pcapriotti/agda-base about 2 hours 42 minutes 3 17 3 6990 Agda
copumpkin/bitvector about 1 hour about 19 hours 6 6 3 186 Agda
robsimmons/agda-lib 2 days about 1 month 3 7 5 616 Agda
pigworker/CS410-14 3 days 6 days 2 46 5 1517 Agda
UlfNorell/agda-prelude about 5 hours about 15 hours 9 25 7 464 Agda
agda/agda-frp-js 15 days 9 days 2 63 7 215 Agda
copumpkin/categories about 8 hours 15 days 10 72 18 1090 Agda
wouter-swierstra/TPT-2014 about 5 hours 28 minutes 92 3 22 3086 Agda
agda/agda-stdlib about 4 hours 1 day 47 91 32 34375 Agda
HoTT/HoTT-Agda 15 days 24 days 18 141 37 4476 Agda