At a glance
The fastest way to read idris-lang.org: country United States, age 16.2 yrs, SSL OK, registrar Tucows Domains Inc.. Each of those points is expanded in the sections that follow.
Certificate health
The certificate currently presented by idris-lang.org resolves as: OK. Valid certificates from a recognised CA are required for credit-card or login traffic.
Domain age
The domain has been registered for roughly 16.2 years, which puts it in the "mature" maturity bracket. Older domains are statistically less risky than freshly registered ones.
Server jurisdiction
The IP behind idris-lang.org sits in United States, on infrastructure provided by Unknown. Disputes or DMCA notices typically follow that jurisdiction.
Should you trust idris-lang.org?
Our score is purely technical. Sites with valid SSL, several years of history and a reputable registrar tend to score higher, but that does not exclude scams. Always combine this report with content judgement.
Where idris-lang.org lands
On a 0-100 scale, our automated check places idris-lang.org at 100 — that is the "very_safe" band. Combine with your own judgement for the final call.