Idris-lang.org is tracked by us since November, 2014. Over the time it has been ranked as high as 391 499 in the world, while most of its traffic comes from USA, where it reached as high as 118 932 position. Docs.idris-lang.org receives less than 1% of its total traffic. It was owned by several entities, from Edwin Brady of University of St Andrews to REDACTED FOR PRIVACY of REDACTED FOR PRIVACY, it was hosted by Cloud LB IAD3, CloudFlare Inc. and others.

Docs.idris-lang has the lowest Google pagerank and bad results in terms of Yandex topical citation index. We found that Docs.idris-lang.org is poorly ‘socialized’ in respect to any social network. According to Google safe browsing analytics, Docs.idris-lang.org is quite a safe domain with no visitor reviews.