Welcome to Issue Stats!


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



Check out some examples:





agda/agda-stdlib Agda
Pr?style=flat square
Issue?style=flat square



The Agda standard library


47
closed issues

35
open issues

32
forks

91
stars

32.8 MB
repository size



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


Fetching README

Updated about 2 years ago
refresh