According to PR-model, agda.github.io is ranked 2,130,893rd in multilingual Wikipedia, in particular this website is ranked 262,809th in German Wikipedia.
The website is placed before dod.gov.au and after ny-artnews.com in the BestRef global ranking of the most important sources of Wikipedia.
