Popularity contest statistics for agda

Help (click to collapse)
Name Inst (175652)
(1st: sed)
Vote (162572)
(1st: perl-base)
Old (138571)
(1st: laptop-detect)
Recent (58922)
(1st: linux-base)
No Files (175351)
(1st: debian-archive-keyring)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
libghc-agda-dev 825 0.47% 11244 23 0.01% 16796 785 0.57% 6990 17 0.03% 12200 0 0.00% 98012 Graph (inst only)
libghc-agda-doc 31 0.02% 41211 2 0.00% 38543 16 0.01% 33165 0 0.00% 79744 13 0.01% 22084 Graph (inst only)
agda-mode 804 0.46% 11358 0 0.00% 57795 0 0.00% 85542 0 0.00% 41913 804 0.46% 4468 Graph (inst only)
agda 788 0.45% 11463 0 0.00% 57794 0 0.00% 85541 0 0.00% 41912 788 0.45% 4510 Graph (inst only)
agda-bin 844 0.48% 11146 36 0.02% 13810 792 0.57% 6966 16 0.03% 12398 0 0.00% 74196 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

Maintainer page