Popularity contest statistics for agda

Help (click to collapse)
Name Inst (169934)
(1st: debianutils)
Vote (157159)
(1st: perl-base)
Old (131698)
(1st: laptop-detect)
Recent (53000)
(1st: file)
No Files (169629)
(1st: manpages)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
libghc-agda-dev 863 0.51% 10626 65 0.04% 10691 772 0.59% 6411 26 0.05% 11301 0 0.00% 93118 Graph (inst only)
libghc-agda-doc 30 0.02% 39908 7 0.00% 26250 8 0.01% 37013 2 0.00% 28749 13 0.01% 20671 Graph (inst only)
agda-mode 843 0.50% 10741 0 0.00% 57100 0 0.00% 81374 0 0.00% 41930 843 0.50% 4109 Graph (inst only)
agda 830 0.49% 10823 0 0.00% 57099 0 0.00% 81373 0 0.00% 41929 830 0.49% 4144 Graph (inst only)
agda-bin 864 0.51% 10621 36 0.02% 13810 802 0.61% 6308 26 0.05% 11221 0 0.00% 68558 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

percent submitters popcon graph for agda

Maintainer page