lamport.org valuation and analysis

Robots.txt Information
Robot Path Permission
GoogleBot /
BingBot /
BaiduSpider /
YandexBot /
#Default for missing robots.txt User-agent: * Disallow: Crawl-delay:
Meta Tags
Title Leslie Lamport’s Home
Description LESLIE LAMPORT’S HOME PAGE ANNOUNCEMENT: TLA+ Workshop, 27 August 2012, Paris The TLA Toolbox, an IDE for the TLA+ tools, has been released. Check it out.
Keywords N/A
Server Information
WebSite lamport faviconlamport.org
Host IP 205.233.73.65
Location United States
Related Websites
Site Rank
More to Explore
lamport.org Valuation
US$5,797,665
Last updated: 2023-05-04 10:15:43

lamport.org has Semrush global rank of 1,825,615. lamport.org has an estimated worth of US$ 5,797,665, based on its estimated Ads revenue. lamport.org receives approximately 668,962 unique visitors each day. Its web server is located in United States, with IP address 205.233.73.65. According to SiteAdvisor, lamport.org is safe to visit.

Traffic & Worth Estimates
Purchase/Sale Value US$5,797,665
Daily Ads Revenue US$5,352
Monthly Ads Revenue US$160,551
Yearly Ads Revenue US$1,926,609
Daily Unique Visitors 44,598
Note: All traffic and earnings values are estimates.
DNS Records
Host Type TTL Data
lamport.org. A 3599 IP: 205.233.73.65
lamport.org. NS 3600 NS Record: ns2.your-site.com.
lamport.org. NS 3600 NS Record: ns1.your-site.com.
lamport.org. NS 3600 NS Record: ns3.your-site.com.
lamport.org. MX 3600 MX Record: 10 mx01.your-site.com.
lamport.org. MX 3600 MX Record: 99 mx99.your-site.com.
lamport.org. TXT 3600 TXT Record: v=spf1 a mx include:_spf.your-site.com ~all
lamport.org. TXT 3600 TXT Record: spf2.0/pra a mx include:_spf.your-site.com ~all
HtmlToTextCheckTime:2023-05-04 10:15:43
LESLIE LAMPORT’S HOME PAGE ANNOUNCEMENT: TLA+ Workshop, 27 August 2012, Paris The TLA Toolbox, an IDE for the TLA+ tools, has been released. Check it out. The PlusCal Algorithm Language NEW: Why Don’t Computer Scientists Learn Math? --> TLA+ Use at Amazon The TLA Web Page My Collected Works My Coordinates 37° 24’ 14" North 122° 2’ 6" West address: Microsoft Corporation 1020 Enterprise Way Sunnyvale, CA 94089 U.S.A. email: I am happy to receive email from people, but not from spammers. So, please do not put my email address on the Web in plain text. You may post this gif file if you wish. notes
HTTP Headers
HTTP/1.1 200 OK
Date: Tue, 26 Oct 2021 12:33:42 GMT
Server: Apache
Upgrade: h2,h2c
Connection: Upgrade
Last-Modified: Mon, 07 Jan 2019 02:09:04 GMT
ETag: "9df-57ed4b68dab57"
Accept-Ranges: bytes
Content-Length: 2527
Vary: Accept-Encoding
Content-Type: text/html
lamport.org Whois Information
Domain Name: LAMPORT.ORG
Registry Domain ID: D3224723-LROR
Registrar WHOIS Server: whois.networksolutions.com
Registrar URL: http://www.networksolutions.com
Updated Date: 2020-11-27T07:53:52Z
Creation Date: 1999-01-26T05:00:00Z
Registry Expiry Date: 2026-01-26T05:00:00Z
Registrar: Network Solutions, LLC
Registrar IANA ID: 2
Registrar Abuse Contact Email: abuse@web.com
Registrar Abuse Contact Phone: +1.8777228662
Domain Status: ok https://icann.org/epp#ok
Registrant State/Province: FL
Registrant Country: US
Name Server: NS1.YOUR-SITE.COM
Name Server: NS3.YOUR-SITE.COM
Name Server: NS2.YOUR-SITE.COM
DNSSEC: unsigned
URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/)
>>> Last update of WHOIS database: 2021-09-14T12:45:42Z <<<