Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | F*: A Proof-Oriented Programming |
Description | Introduction Introduction Download Learn Community Uses Research People Introduction F* (pronounced F star ) is a general-purpose proof-oriented programming language, |
Keywords | N/A |
WebSite | fstar-lang.org |
Host IP | 52.173.151.229 |
Location | United States |
Site | Rank |
US$48,375,655
Last updated: 2023-04-29 02:47:38
fstar-lang.org has Semrush global rank of 218,794. fstar-lang.org has an estimated worth of US$ 48,375,655, based on its estimated Ads revenue. fstar-lang.org receives approximately 5,581,807 unique visitors each day. Its web server is located in United States, with IP address 52.173.151.229. According to SiteAdvisor, fstar-lang.org is safe to visit. |
Purchase/Sale Value | US$48,375,655 |
Daily Ads Revenue | US$44,655 |
Monthly Ads Revenue | US$1,339,634 |
Yearly Ads Revenue | US$16,075,603 |
Daily Unique Visitors | 372,121 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
fstar-lang.org. | A | 3599 | IP: 52.173.151.229 |
fstar-lang.org. | NS | 3600 | NS Record: ns2.ht.vc. |
fstar-lang.org. | NS | 3600 | NS Record: ns1.ht.vc. |
fstar-lang.org. | MX | 3600 | MX Record: 10 mail.ht.vc. |
fstar-lang.org. | TXT | 3600 | TXT Record: fstar-lang.azurewebsites.net |
fstar-lang.org. | TXT | 3600 | TXT Record: v=spf1 a mx -all |
Introduction Download Learn Community Uses Research People Introduction F* (pronounced F star ) is a general-purpose proof-oriented programming language, supporting both purely functional and effectful programming. It combines the expressive power of dependent types with proof automation based on SMT solving and tactic-based interactive theorem proving. F* programs compile, by default, to OCaml. Various fragments of F* can also be extracted to F#, to C or Wasm by a tool called KaRaMeL , or to assembly using the Vale toolchain. F* is implemented in F* and bootstrapped using OCaml. F* is open source on GitHub and is under active development by Microsoft Research , Inria , and by the community. Download F* is distributed under the Apache 2.0 license . Binaries for Windows, Linux, and Mac OS X are posted regularly on the releases page on GitHub . You can also install F* from OPAM, Docker, Nix, or build it from sources, by following the instructions here . Learn F* An online book |
HTTP/1.1 200 OK Content-Length: 0 Content-Type: text/html; charset=UTF-8 Server: Apache X-Powered-By: PHP/7.4.16 Set-Cookie: ARRAffinity=ffc5a14e122a3e950d12cd97aa05445285bb2824918c5cf6531cdd92fea0dd08;Path=/;HttpOnly;Domain=fstar-lang.org Date: Fri, 22 Oct 2021 00:03:25 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: 2020-11-27T04:36:06Z Creation Date: 2014-12-18T22:08:55Z Registry Expiry Date: 2022-12-18T22:08:55Z Registrar: OVH Registrar IANA ID: 433 Registrar Abuse Contact Email: abuse@ovh.net Registrar Abuse Contact Phone: +33.972101007 Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited 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/) >>> Last update of WHOIS database: 2021-09-10T18:44:04Z <<< |