Popularity contest statistics for agda

Help (click to collapse)
Name Inst (183853)
(1st: coreutils)
Vote (172420)
(1st: libc6)
Old (150165)
(1st: installation-report)
Recent (42935)
(1st: libmodule-build-perl)
No Files (183614)
(1st: debian-archive-keyring)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
agda 760 0.41% 12598 0 0.00% 61435 0 0.00% 92017 0 0.00% 45533 760 0.41% 5250 Graph (inst only)
agda-bin 808 0.44% 12271 30 0.02% 15375 709 0.47% 7527 69 0.16% 7725 0 0.00% 76637 Graph (inst only)
elpa-agda2-mode 96 0.05% 30228 5 0.00% 30319 56 0.04% 22871 35 0.08% 10796 0 0.00% 85826 Graph (inst only)
agda-mode 706 0.38% 13038 0 0.00% 61436 0 0.00% 92018 0 0.00% 45534 706 0.38% 5465 Graph (inst only)
libghc-agda-dev 797 0.43% 12338 27 0.02% 16207 712 0.47% 7513 58 0.14% 8383 0 0.00% 102771 Graph (inst only)
libghc-agda-doc 27 0.01% 46797 4 0.00% 33120 20 0.01% 32468 2 0.00% 30598 1 0.00% 60995 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

Maintainer page