Idris-lang.org

Website Ranking Data
Current Alexa Rank

517,615

Updated Jan 31 2023
Historical Rank
Idris-lang.org historical owner info, name servers, Analytics ID, Adsense ID, Addthis ID, advertisers, screenshots, meta tags, whois, site and server info.
Estimated Visitors

5,887

Daily Unique Visitors

182,488

Monthly Visitors

2,189,856

Yearly Visitors
Reddit links
Overall links 61
Overall rank 155490
Overall share < 0.01%
Since 2010-01-01 up to 2019-08-09
Domain Information
Registrar Tucows Inc. (R11-LROR)
Created 02.04.2010
Updated 04.03.2013
Expiration 02.04.2014
Name Server Information
ns1.mythic-beasts.com
ns2.mythic-beasts.com
Web Server Information
IP Address 93.93.131.30
Server Response 200
Web Server Apache/2.4.10 (Debian)
Updated: 2015-11-05
Top related sites:
Top idris sites
Top lang sites
Meta Tags and Data
Title
Idris | A Language with Dependent Types
Meta Description
Meta Keywords
Archived Meta Tags Updated: 2015-11-05
Whois Information
Name
Edwin Brady
Organization
University of St Andrews
Street
School of Computer Science
City
St Andrews
Postal Code
KY169SX
Country
UNITED KINGDOM
Phone
441334463271
Archived Whois Data Updated: 2015-11-15
Server Response
ServerApache/2.4.10 (Debian)
X-Pingbackhttp://www.idris-lang.org/xmlrpc.php
VaryAccept-Encoding
Content-Encodinggzip
Keep-Alivetimeout=5, max=100
ConnectionKeep-Alive
Content-Typetext/html; charset=UTF-8
Updated: 2015-11-05
Related sites
Sites related to Idris-lang.org based on metadata.