According to PR-model, idris-lang.org is ranked 188,251st in multilingual Wikipedia, in particular this website is ranked 109,926th in English Wikipedia.
The website is placed before padraodosdescobrimentos.pt and after prclub.spb.ru in the BestRef global ranking of the most important sources of Wikipedia.