Popularity contest statistics for agda

Help (click to collapse)
Name Inst (194798)
(1st: debianutils)
Vote (181883)
(1st: perl-base)
Old (157315)
(1st: laptop-detect)
Recent (57428)
(1st: dnsutils)
No Files (194260)
(1st: manpages)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
agda 789 0.41% 12849 0 0.00% 62783 0 0.00% 93365 0 0.00% 47848 789 0.41% 5386 Graph (inst only)
agda-bin 832 0.43% 12551 29 0.02% 16269 760 0.48% 7430 43 0.07% 10471 0 0.00% 77740 Graph (inst only)
elpa-agda2-mode 89 0.05% 32293 10 0.01% 24580 70 0.04% 21541 9 0.02% 20207 0 0.00% 86689 Graph (inst only)
agda-mode 737 0.38% 13207 0 0.00% 62784 0 0.00% 93366 0 0.00% 47849 737 0.38% 5555 Graph (inst only)
libghc-agda-dev 823 0.42% 12610 25 0.01% 17386 763 0.49% 7419 34 0.06% 11877 1 0.00% 61510 Graph (inst only)
libghc-agda-doc 26 0.01% 48885 5 0.00% 31867 17 0.01% 35039 2 0.00% 32652 2 0.00% 44845 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

Maintainer page