Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Idris: A Language for Type-Driven Development |
Description | N/A |
Keywords | N/A |
WebSite | www.idris-lang.org |
Host IP | 93.93.131.30 |
Location | United Kingdom |
Site | Rank |
edsko.net | #4,334,613 |
corecursive.com | #2,528,173 |
imobiliarepremiumresidence.wordpress.com |
img-grenchen.ch |
intrum.fr |
ipf2020.de |
itabashi-ci.org |
iz2.or.jp |
jandwproperty.com |
kaigai-hosting.com |
kappauv.com |
jlkjxm.com |
xq111.net |
yfydsj.com |
US$29,228
Last updated: Jun 6, 2020
Idris-lang.org has global traffic rank of 1,171,885. Idris-lang.org has an estimated worth of US$ 29,228, based on its estimated Ads revenue. Idris-lang.org receives approximately 2,669 unique visitors each day. Its web server is located in United Kingdom, with IP address 93.93.131.30. According to SiteAdvisor, idris-lang.org is safe to visit. |
Purchase/Sale Value | US$29,228 |
Daily Ads Revenue | US$16 |
Monthly Ads Revenue | US$480 |
Yearly Ads Revenue | US$5,845 |
Daily Unique Visitors | 2,669 |
Note: All traffic and earnings values are estimates. |
Global Rank | 1,171,885 |
Delta (90 Days) | 0 |
Most Popular In Country | N/A |
Country Rank | N/A |
Host | Type | TTL | Data |
idris-lang.org | A | 3599 | IP: 93.93.131.30 |
idris-lang.org | AAAA | 3599 | IPv6: 2a00:1098:0:86:1000:0:0:11 |
idris-lang.org | MX | 3599 | Priority: 10 Target: mx.mythic-beasts.com. |
idris-lang.org | NS | 21599 | Target: ns1.mythic-beasts.com. |
idris-lang.org | NS | 21599 | Target: ns2.mythic-beasts.com. |
idris-lang.org | SOA | 21599 | MNAME: ns2.mythic-beasts.com. RNAME: hostmaster.mythic-beasts.com. Serial: 2010000337 Refresh: 21600 Retry: 7200 Expire: 604800 Minimum TTL: 3600 |
HTTP/1.1 301 Moved Permanently Date: Sat, 06 Jun 2020 13:44:34 GMT Server: Apache/2.4.38 (Debian) Location: https://idris-lang.org/ Cache-Control: max-age=3600 Expires: Sat, 06 Jun 2020 14:44:34 GMT Content-Length: 311 Content-Type: text/html; charset=iso-8859-1 HTTP/1.1 302 Found Date: Sat, 06 Jun 2020 13:44:34 GMT Server: Apache/2.4.38 (Debian) Location: http://www.idris-lang.org/ Content-Length: 291 Content-Type: text/html; charset=iso-8859-1 HTTP/1.1 301 Moved Permanently Date: Sat, 06 Jun 2020 13:44:35 GMT Server: Apache/2.4.38 (Debian) Location: https://www.idris-lang.org/ Cache-Control: max-age=3600 Expires: Sat, 06 Jun 2020 14:44:35 GMT Content-Length: 319 Content-Type: text/html; charset=iso-8859-1 HTTP/1.1 200 OK Date: Sat, 06 Jun 2020 13:44:35 GMT Server: Apache/2.4.38 (Debian) Last-Modified: Mon, 25 May 2020 14:10:41 GMT ETag: "1d07-5a6798b4a5742" Accept-Ranges: bytes Content-Length: 7431 Vary: Accept-Encoding Content-Type: text/html |
Domain Name: IDRIS-LANG.ORG Registry Domain ID: D158762983-LROR Registrar WHOIS Server: whois.tucows.com Registrar URL: http://www.tucows.com Updated Date: 2019-04-01T09:31:49Z Creation Date: 2010-04-02T14:53:13Z Registry Expiry Date: 2021-04-02T14:53:13Z Registrar Registration Expiration Date: Registrar: Tucows Inc. Registrar IANA ID: 69 Registrar Abuse Contact Email: domainabuse@tucows.com Registrar Abuse Contact Phone: +1.4165350123 Reseller: Domain Status: ok https://icann.org/epp#ok Registrant Organization: University of St Andrews Registrant State/Province: Fife Registrant Country: GB Name Server: NS1.MYTHIC-BEASTS.COM Name Server: NS2.MYTHIC-BEASTS.COM DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) |