Welcome to Issue Stats!


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



Check out some examples:





freebroccolo/nbe Agda
Pr?style=flat square
Issue?style=flat square



Normalization by evaluation in Agda


3
closed issues

0
open issues

1
forks

5
stars

23.4 KB
repository size



Get this data via JSON: http://issuestats.com/github/freebroccolo/nbe?format=json


Fetching README

Updated over 1 year ago
refresh