Statistics
From Impredicative Wiki
| Page statistics | |
|---|---|
| Content pages | 8 |
| Pages (All pages in the wiki, including talk pages, redirects, etc.) | 27 |
| Uploaded files | 0 |
| Edit statistics | |
| Page edits since Impredicative Wiki was set up | 194 |
| Average edits per page | 7.19 |
| User statistics | |
| Registered users | 1,453,838 |
| Active users (list of members) (Users who have performed an action in the last 30 days) | 0 |
| Bots (list of members) | 0 |
| Administrators (list of members) | 1 |
| Bureaucrats (list of members) | 1 |
| mayedit (list of members) | 15 |
| View statistics | |
| Views total (Views to non-existing pages and special pages are not included) | 3,873,354 |
| Views per edit | 19,965.74 |
| Most viewed pages | |
| Main Page | 1,727,456 |
| Compiler contributions procedure | 428,607 |
| Graftid | 330,273 |
| Ur | 326,913 |
| Companies supporting the urweb language | 198,518 |
| Comparison tables | 184,258 |
| Libraries and FFI bindings | 166,824 |
| Contributing to this wiki | 129,884 |
| Expressing subrecord constraints | 87,929 |
| Ur C FFI Example | 54,512 |
