Welcome to Issue Stats!


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



Check out some examples:





pcapriotti/agda-base Agda
Pr?style=flat square
Issue?style=flat square



Base library for HoTT in Agda


3
closed issues

0
open issues

3
forks

17
stars

6.67 MB
repository size



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


Fetching README

Updated almost 2 years ago
refresh