Welcome to Issue Stats!


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



Check out some examples:





UlfNorell/agda-prelude Agda
Pr?style=flat square
Issue?style=flat square



Programming library for Agda


9
closed issues

4
open issues

7
forks

25
stars

453 KB
repository size



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


Fetching README

Updated almost 2 years ago
refresh