Popularity contest statistics for agda

Help (click to collapse)
Name Inst (198165)
(1st: base-passwd)
Vote (185902)
(1st: perl-base)
Old (161907)
(1st: tasksel-data)
Recent (59661)
(1st: locales)
No Files (197295)
(1st: manpages)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
agda 785 0.40% 13062 0 0.00% 64339 0 0.00% 95446 0 0.00% 46055 785 0.40% 5483 Graph (inst only)
agda-bin 825 0.42% 12809 57 0.03% 12221 741 0.46% 7977 27 0.05% 11232 0 0.00% 80401 Graph (inst only)
elpa-agda2-mode 83 0.04% 34129 40 0.02% 14363 34 0.02% 29566 9 0.02% 18268 0 0.00% 89920 Graph (inst only)
agda-mode 740 0.37% 13375 0 0.00% 64340 0 0.00% 95447 0 0.00% 46056 740 0.38% 5604 Graph (inst only)
libghc-agda-dev 821 0.41% 12836 52 0.03% 12852 738 0.46% 7995 31 0.05% 10537 0 0.00% 106535 Graph (inst only)
libghc-agda-doc 34 0.02% 46524 4 0.00% 34413 28 0.02% 31548 2 0.00% 31134 0 0.00% 106536 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

Maintainer page