Welcome to Issue Stats!


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



Check out some examples:





HoTT/HoTT-Agda Agda
Pr?style=flat square
Issue?style=flat square



Development of homotopy type theory in Agda


18
closed issues

2
open issues

37
forks

141
stars

4.27 MB
repository size



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


Fetching README

Updated about 2 years ago
refresh