What powers fstar-lang.org?
Last seen Jun 2026 · 5 technologies across 5 categories
CDN
Google Hosted Libraries
since Feb 2022
Font scripts
Google Font API
since Feb 2019
Load balancers
Azure Front Door
since Jul 2024
PaaS
Azure
since Nov 2021
Web servers
Apache HTTP Server
since Feb 2019
Top search keywords
| Keyword | Position | Est. monthly visits |
|---|---|---|
| star f | #4 | 54,200 |
| f # language | #2 | 23 |
| f programming language | #2 | 23 |
| f-star | #3 | 11 |
| f star language | #1 | 9 |
| fstar language | #1 | 9 |
| fstar language | #1 | 9 |
| f language | #4 | 7 |
| fstar | #1 | 4 |
| fstar | #1 | 4 |
| fstar language | #5 | 2 |
| fstar language | #5 | 2 |
| parametric polymorphism | #32 | 1 |
| parametric polymorphism | #32 | 1 |
| polymorphic functions | #13 | 1 |
| proof language | #8 | 1 |
| pulse programming | #21 | 1 |
| fstar language | #7 | 1 |
| fstar language | #7 | 1 |
| well founded relation | #21 | 0 |
| what is an atomic operation in programming | #53 | 0 |
| asn1 encoding | #47 | 0 |
| recursion for loop | #66 | 0 |
| star microsoft | #47 | 0 |
| steel f | #15 | 0 |
The site's top keywords in Google (US), with the visits each one is estimated to bring per month.
Top backlinks
Top links pointing at the site, one per source domain, strongest first. The anchor text opens the page carrying the link.
Audience
- 80% phone
- 20% desktop
India
United States
Countries where the site has Chrome traffic, strongest markets first.
Open Page Rank
5.53 / 10 · ranked #154,748 of all domains
109 referring domains · OpenPageRank
Search traffic
54,300 est. monthly organic visits (US)
56 keywords in Google's top 30
Core Web Vitals
| LCP | 3.5 s |
| INP | 275 ms |
| CLS | 0.2 |
| TTFB | 1800 ms |
Real user p75, Chrome UX Report, Jun 2026.
Page
- Language: English
- CDN: Microsoft Azure
- Weight: 0.5 MB · 11 requests
Homepage as crawled by the HTTP Archive, Jul 2026.
Subdomains
| Host | Techs |
|---|---|
| fstar-lang.org | 4 |
| www.fstar-lang.org | 4 |