Popularity contest statistics for agda

Help (click to collapse)
Name Inst (197233)
(1st: sed)
Vote (184590)
(1st: perl-base)
Old (160493)
(1st: tasksel-data)
Recent (58933)
(1st: eject)
No Files (196417)
(1st: manpages)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
agda 789 0.40% 13019 0 0.00% 62839 0 0.00% 95365 0 0.00% 46018 789 0.40% 5459 Graph (inst only)
agda-bin 832 0.42% 12735 38 0.02% 14628 760 0.47% 7815 34 0.06% 10184 0 0.00% 80990 Graph (inst only)
elpa-agda2-mode 83 0.04% 33928 15 0.01% 21454 59 0.04% 24342 9 0.02% 18781 0 0.00% 90381 Graph (inst only)
agda-mode 751 0.38% 13270 0 0.00% 62840 0 0.00% 95366 0 0.00% 46019 751 0.38% 5567 Graph (inst only)
libghc-agda-dev 824 0.42% 12789 32 0.02% 15764 756 0.47% 7847 36 0.06% 9953 0 0.00% 106680 Graph (inst only)
libghc-agda-doc 29 0.01% 48552 3 0.00% 37454 22 0.01% 33988 3 0.01% 27887 1 0.00% 64210 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

Maintainer page