Welcome to Issue Stats!


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



Check out some examples:





inc-lc/ilc-agda Agda
Pr?style=flat square
Issue?style=flat square



Machine-checked Agda formalization for the ILC project


10
closed issues

1
open issues

1
forks

5
stars

855 KB
repository size



Get this data via JSON: http://issuestats.com/github/inc-lc/ilc-agda?format=json


Fetching README

Updated about 2 years ago
refresh