Idris-lang.org

Visit idris-lang.org

Idris: A Language for Type-Driven Development

Global rank 321 899
Daily visitors -
Daily pageviews -
Pageviews per user 0
Rating
Status Online
Latest check

Countable Data Brief

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. 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 CAM Colocated Customers.

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

Traffic Analysis

Compare it to ...

It seems that the number of visitors and pageviews on this site is too low to be displayed, sorry.

Similar Traffic Stats

rank visitors / pageviews
321897 cherepahi.ru

547 / 547

321898 golectures.com

521 / 521

321899 idris-lang.org

- / -

Subdomains Traffic Shares

Idris-lang.org has no subdomains with considerable traffic.

SEO Stats

Compare it to ...

Idris-lang.org has Google PR 5 and its top keyword is "Idris" with 61.80% of search traffic.

Ranks

5

Google PR

-

Yandex CY

Metadata Updates Get more Idris-lang.org metadata updates

Top Keywords % of search traffic

Idris 61.80%
idris programming language 10.10%
idris language 9.58%
idris dependent types 3.80%

Domain Registration Data

Compare it to ...

Idris-lang.org domain is owned by REDACTED FOR PRIVACY and its registration expires in 11 months.

General Get more Idris-lang.org whois history

REDACTED FOR PRIVACY

Owner since February 21, 2020

11 months left

Expires on April 02, 2025

14 years old

Created on April 02, 2010

1 month ago

Changed at March 13, 2024

Registrar and Status

Registar Public Interest Registry
Sponsor Mythic Beasts Ltd.
Status

ok

In Other TLDs

No data

Server Information

Compare it to ...

Idris-lang.org is hosted by CAM Colocated Customers.

IP Whois Get more Idris-lang.org server history

  • CAM Colocated Customers

  • 93.93.131.30

    IP address

Server Technologies

  • Apache HTTP Server

    Backend server

DNS Records

Nameservers

  • ns1.mythic-beasts.com
  • ns2.mythic-beasts.com
host value ttl
idris-lang.org

93.93.131.30

300
host value ttl
idris-lang.org

300
host value ttl pri
idris-lang.org

mx.mythic-beasts.com

300 10
host value ttl
idris-lang.org

ns1.mythic-beasts.com

300
idris-lang.org

ns2.mythic-beasts.com

300
host value ttl
idris-lang.org

Mname: ns2.mythic-beasts.com
Rname: hostmaster.mythic-beasts.com
Serial: 2010000345
Refresh: 21600
Retry: 7200
Expire: 604800
Minimum-ttl: 3600

300

Safety status of Idris-lang.org is described as follows: MyWOT reports its overall reputation as good and Google Safe Browsing reports its status as safe.

MyWOT

Overall reputation Good
Trustworthiness Good
Privacy Good
Child safety Unknown

Google Safe Browsing

Website status Safe
Status ok

User reviews

Reputation Unknown

0

negative