Popularity contest statistics for agda

Help (click to collapse)
Name Inst (201583)
(1st: sed)
Vote (188850)
(1st: libc6)
Old (162647)
(1st: installation-report)
Recent (49399)
(1st: ghostscript)
No Files (200172)
(1st: debconf-i18n)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
agda 791 0.39% 13385 0 0.00% 64171 0 0.00% 97581 0 0.00% 48344 791 0.40% 5706 Graph (inst only)
agda-bin 838 0.42% 13091 55 0.03% 12647 686 0.42% 8260 97 0.20% 7626 0 0.00% 81665 Graph (inst only)
elpa-agda2-mode 540 0.27% 15808 36 0.02% 15003 422 0.26% 10262 82 0.17% 8211 0 0.00% 91455 Graph (inst only)
agda-mode 303 0.15% 20383 0 0.00% 64172 0 0.00% 97582 0 0.00% 48345 303 0.15% 8461 Graph (inst only)
libghc-agda-dev 828 0.41% 13163 59 0.03% 12335 681 0.42% 8291 88 0.18% 7921 0 0.00% 108836 Graph (inst only)
libghc-agda-doc 28 0.01% 50182 2 0.00% 42007 24 0.01% 33045 2 0.00% 32006 0 0.00% 108837 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

Maintainer page