is idris-lang safe or legal? is idris-lang scam or fake?
Reputation rating
reputation score: 60
Not Very Good. There maybe a small chance of risk.
More Check Info
Site Details
Web Title: Idris | A Language with Dependent Types
IP Address: 93.93.131.30
Country:United Kingdom
Country Code:GB
City:Cambridge
Region:England
Web Of Trust(WOT) Data
WOT Trust Worthiness: score:60 Good
WOT Child Safety: score:96 Excellent
Data from Google
Google Safe Browsing: Safe
Google Page Rank: 0
Google Page Speed Score: 89
Geostationary Earth Orbit(GEO)
IP Address:93.93.131.30
Country:United Kingdom
Country Code:GB
Region:England
Region code:ENG
City:Cambridge
ISP:Mythic Beasts Ltd
Latitude:52.21
Longitude:0.14055
Timezone:Europe/London
Organization:Mythic Beasts Ltd
AS number/name:AS44684 MYTHIC Mythic Beasts Ltd
Alexa Rank
Golbal Rank: 1266558