idris-lang.org

https://idris-lang.org· First analyzed 26 May 2026· Updated 26 May 2026

This site uses bot protection

The website blocked automated page access (e.g. Cloudflare Turnstile). Only DNS-based modules could be analyzed — hosting, SSL, email infrastructure, and domain info are shown below. Technology stack, SEO, and other page-content modules are unavailable for this site.

Hosting Provider

GitHub Pages

pages.github.com

IP Address

185.199.108.153

Site Location

🇺🇸 United Statesvia ip

Server Location

🇺🇸 San Francisco, United States

ASN

AS54113

Organization

GitHub, Inc

Nameservers

ns1.mythic-beasts.com.ns2.mythic-beasts.com.

Security Score

71%Good

HTTPS

No WAF

84d

Certificate Details

Type

Domain Validated (DV)

Certificate Authority

Let's Encrypt

Key Algorithm

RSA (2048 bit)

Signature

SHA-256 with RSA

TLS Version

TLSv1.3

HTTP Protocol

HTTP/2

Valid From

20.05.2026

Valid Until

18.08.2026

Subject Alternative Names (2)

idris-lang.orgwww.idris-lang.org

SHA-256 Fingerprint

6C:2A:E1:C8:83:2A:49:C9:C7:3F:16:FE:94:03:FF:A1:21:AE:38:F9...

Top Recommendations

Security recommendation preview

Upgrade to view recommendations

Upgrade to view header details

Email Infrastructure

Custom Mail Server

Score

SPF

DKIM

DMARC

MX Records (2)

mx1.mythic-beasts.com

mx2.mythic-beasts.com

Domain Information

idris-lang.org

Domain Age

16y 1m

Created

02.04.2010

Expires

02.04.2027

Last Updated

18.03.2026

Registrar

Tucows Domains Inc.

DNSSEC

Not Enabled

Website Identity

idris-lang.org

16 years old

Location detected: 🇺🇸 United Statesvia ip

Tucows Domains Inc.