Welcome to Issue Stats!


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



Check out some examples:





joaopizani/piware-agda Agda
Pr?style=flat square
Issue?style=flat square



This repository has moved to https://gitlab.com/joaopizani/piware-agda


25
closed issues

19
open issues

1
forks

3
stars

1.43 MB
repository size



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


Fetching README

Updated almost 2 years ago
refresh