Popularity contest statistics for agda

Help (click to collapse)
Name Inst (182833)
(1st: debianutils)
Vote (167448)
(1st: perl-base)
Old (139199)
(1st: laptop-detect)
Recent (52360)
(1st: ca-certificates-java)
No Files (182547)
(1st: debian-archive-keyring)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
libghc-agda-dev 806 0.44% 11467 26 0.02% 15780 739 0.53% 6933 41 0.08% 10855 0 0.00% 96647 Graph (inst only)
libghc-agda-doc 25 0.01% 44378 2 0.00% 38508 10 0.01% 37017 2 0.00% 30543 11 0.01% 23551 Graph (inst only)
agda-mode 787 0.43% 11596 0 0.00% 57539 0 0.00% 85279 0 0.00% 43704 787 0.43% 4599 Graph (inst only)
agda 772 0.42% 11669 0 0.00% 57538 0 0.00% 85278 0 0.00% 43703 772 0.42% 4623 Graph (inst only)
agda-bin 832 0.46% 11328 23 0.01% 16433 768 0.55% 6811 41 0.08% 10795 0 0.00% 72052 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

Maintainer page