fstar-lang.org

.org crawl

First seen 2026-04-16 · Last seen 2026-05-15 · ok HTTP/1.1 200 2243 ms crawled 2026-05-11

US · 150.171.109.36 · AS8075 Microsoft Corporation

Reputation 87/100 weak security headers no dmarc policy

Classifying

HTML metadata

Title: F*: A Proof-Oriented Programming Language
Language: en

Technology

CDN: Azure Front Door
CMS: WordPress

Third-party hosts loaded (1)

ajax.googleapis.com×1

Social

Registration

Registrar

OVH sas

Created

2014-12-18

Expires

2027-12-18 577 days left

Updated

2025-12-06

Name servers

ns3-36.azure-dns.org
ns1-36.azure-dns.com
ns2-36.azure-dns.net
ns4-36.azure-dns.info

DNS records live

NS

ns1-36.azure-dns.com
ns2-36.azure-dns.net
ns3-36.azure-dns.org
ns4-36.azure-dns.info

MX

10 mail.ht.vc

Email authentication weak

SPF: v=spf1 mx -all
strict (-all)
DMARC: not published
DKIM: no key found at common selectors

Certificate (current)

GeoTrust TLS RSA CA G1

from 2026-03-11 to 2026-09-12

Expires in 115 days

Full certificate history on crt.sh ↗

HTTP security headers

Header hygiene 30/100 Checked live page: https://fstar-lang.org/

findings

missing HSTS
missing Content Security Policy
missing frame protection
missing content type protection
missing Referrer Policy
missing Permissions Policy