Idris-lang.org
Visit idris-lang.org-
321.7K
Global Rank
-
6 hours ago
Last scanned
-
14 years
Domain Age
-
No data
Daily Visitors
Idris-lang.org
Visit idris-lang.org
About Website
Updated:
Idris: A Language for Type-Driven Development
Network Data
This website is hosted with CAM Colocated Customers, which reserves the following IP addresses for idris-lang.org: 93.93.131.30. Moreover, DNS used with this website include ns1.mythic-beasts.com, ns2.mythic-beasts.com.
-
321.7K
Global Rank
-
6 hours ago
Last scanned
-
14 years
Domain Age
-
No data
Daily Visitors
Network
ADDRESSING DETAILS
-
Hosting Company
-
IPs
-
DNS
ns1.mythic-beasts.com
ns2.mythic-beasts.com
Whois
OWNERSHIP
-
Created
2010-04-02
-
Expires
2025-04-02
-
Owner
REDACTED FOR PRIVACY
-
Registar
Public Interest Registry
-
Owner Emails
Domain & Keywords
The registrar of idris-lang.org is Public Interest Registry and the name expires on 2025-04-02. According to open source data, you can reach the owner at ecb10@st-andrews.ac.uk but please make sure you have a good reason for unsolicited messages. Their country of residence is China.
- Idris
- Dependent Types
- idris language
- idris programming language
- idris dependent types
Websites similar to idris-lang.org
-
foxautocare.ae-
Global rank
N/A
-
Daily Visitors
N/A
-
-
borobudur.ac.id-
Global rank
382.9K
-
Daily Visitors
1.5K
-
-
anytraining.in-
Global rank
N/A
-
Daily Visitors
N/A
-
-
hindustaneducation.com-
Global rank
N/A
-
Daily Visitors
N/A
-
-
electrofunkroots.co.uk-
Global rank
N/A
-
Daily Visitors
N/A
-