Popularity contest statistics for agda

Help (click to collapse)
Name Inst (200098)
(1st: libbz2-1.0)
Vote (183459)
(1st: dpkg)
Old (159815)
(1st: tasksel-data)
Recent (55423)
(1st: locales)
No Files (199038)
(1st: manpages)
Graph
Number % Rank Number % Rank Number % Rank Number % Rank Number % Rank
agda 773 0.39% 13142 0 0.00% 63613 0 0.00% 95051 0 0.00% 47627 773 0.39% 5584 Graph (inst only)
agda-bin 815 0.41% 12856 26 0.01% 16534 767 0.48% 7746 22 0.04% 13059 0 0.00% 80412 Graph (inst only)
elpa-agda2-mode 90 0.04% 32977 11 0.01% 23567 70 0.04% 22703 9 0.02% 19613 0 0.00% 89865 Graph (inst only)
agda-mode 722 0.36% 13500 0 0.00% 63614 0 0.00% 95052 0 0.00% 47628 722 0.36% 5731 Graph (inst only)
libghc-agda-dev 808 0.40% 12909 20 0.01% 18741 769 0.48% 7735 19 0.03% 14128 0 0.00% 106461 Graph (inst only)
libghc-agda-doc 35 0.02% 46096 3 0.00% 36879 28 0.02% 31309 4 0.01% 27112 0 0.00% 106462 Graph (inst only)
Source           Graph (inst only)

popcon graph for agda

Maintainer page