Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | F*: A Higher-Order Effectful Language Designed for Program Verification |
Description | N/A |
Keywords | N/A |
WebSite | www.fstar-lang.org |
Host IP | 52.173.151.229 |
Location | Des Moines, Iowa, United States |
Site | Rank |
fpsdistribution.co.uk | #1,787,426 |
f-star.com | #6,260,785 |
chiscos.net | #3,091,035 |
fjsquare.jp | #118,591 |
fukaya.saitama.jp |
fixsheet.tmall.com |
fukuensoudan.com |
fukuoka-edu.ac.jp |
gamesorochi.com |
gazetka-24.pl |
geniusasian.com |
gc-yukizaki.jp |
geolocaux.com |
geotools.org |
seaside-space.com |
setoori.co.jp |
US$78,650
Last updated: Mar 26, 2020
Fstar-lang.org has global traffic rank of 873,071. Its global rank has gone down by 1,124 positions since 3 months ago. Fstar-lang.org has an estimated worth of US$ 78,650, based on its estimated Ads revenue. Fstar-lang.org receives approximately 3,591 unique visitors each day. Its web server is located in Des Moines, Iowa, United States, with IP address 52.173.151.229. According to SiteAdvisor, fstar-lang.org is safe to visit. |
Purchase/Sale Value | US$78,650 |
Daily Ads Revenue | US$43 |
Monthly Ads Revenue | US$1,292 |
Yearly Ads Revenue | US$15,730 |
Daily Unique Visitors | 3,591 |
Note: All traffic and earnings values are estimates. |
Global Rank | 873,071 |
Delta (90 Days) | ⬇️ 1,124 |
Most Popular In Country | N/A |
Country Rank | N/A |
Host | Type | TTL | Data |
fstar-lang.org | A | 3599 | IP: 52.173.151.229 |
fstar-lang.org | MX | 3599 | Priority: 10 Target: mail.maxg.info. |
fstar-lang.org | NS | 3599 | Target: ns2.ht.vc. |
fstar-lang.org | NS | 3599 | Target: ns1.ht.vc. |
fstar-lang.org | TXT | 3599 | TXT: v=spf1 a mx -all |
fstar-lang.org | TXT | 3599 | TXT: fstar-lang.azurewebsites.net |
fstar-lang.org | SOA | 3599 | MNAME: ns1.ht.vc. RNAME: postmaster.fstar-lang.org. Serial: 2014111540 Refresh: 21600 Retry: 3600 Expire: 1814400 Minimum TTL: 3600 |
HTTP/1.1 301 Moved Permanently Content-Type: text/html; charset=UTF-8 Location: https://fstar-lang.org/ Server: Microsoft-IIS/10.0 Date: Thu, 26 Mar 2020 13:46:05 GMT Content-Length: 0 HTTP/1.1 200 OK Transfer-Encoding: chunked Content-Type: text/html; charset=UTF-8 Vary: Accept-Encoding Server: Apache X-Powered-By: PHP/7.2.1 Set-Cookie: ARRAffinity=650898d0e407ffb1fdf15c90e36fcc205281964363dbaebb2f7a48d31adb41a2;Path=/;HttpOnly;Domain=fstar-lang.org Date: Thu, 26 Mar 2020 13:46:06 GMT |
Domain Name: FSTAR-LANG.ORG Registry Domain ID: D174845106-LROR Registrar WHOIS Server: whois.ovh.com Registrar URL: http://www.ovh.com Updated Date: 2019-06-28T12:51:11Z Creation Date: 2014-12-18T22:08:55Z Registry Expiry Date: 2020-12-18T22:08:55Z Registrar Registration Expiration Date: Registrar: OVH Registrar IANA ID: 433 Registrar Abuse Contact Email: abuse@ovh.net Registrar Abuse Contact Phone: +33.972101007 Reseller: Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Registrant Organization: Registrant State/Province: Registrant Country: FR Name Server: NS1.HT.VC Name Server: NS2.HT.VC DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) |