tlapl.us valuation and analysis

Robots.txt Information
Robot Path Permission
GoogleBot / ✔
BingBot / ✔
BaiduSpider / ✔
YandexBot / ✔ 

                

                
Meta Tags

                

                    

                        Title
                        The TLA+ Home                        
                    

                    

                        Description
                                                        The TLA+ Home Page The TLA+ Home Page Leslie Lamport Last modified on 18 March 2022 You’ll miss a lot on this web site unless you enable Javascript in you                                                    
                    

                    

                        Keywords
                                                        N/A
                                                    
                    

                

                
Server Information

                

                    

                        WebSite
                        tlapl favicontlapl.us                            
                        
                    

                    

                        Host IP
                        193.55.250.165                        
                    

                    

                        Location
                        France                        
                    

                

                
Related Websites

                

                    

                        Site
                        Rank
                    

                

                
More to Explore

                


                     
                

            

            

                
tlapl.us Valuation

                

                    

                        
                            

                                
US$2,835,731                                

                                

                                
                                

                                    Last updated: 2023-05-18 04:15:21                                    
                                

                            

                            
tlapl.us has Semrush global rank of 3,732,479. tlapl.us has an estimated worth of US$ 2,835,731, based on its estimated Ads revenue. tlapl.us receives approximately 327,200 unique visitors each day. Its web server is located in France, with IP address 193.55.250.165. According to SiteAdvisor, tlapl.us is safe to visit.
                            

                        		
                    

                

                
Traffic & Worth Estimates

                

                    

                        Purchase/Sale Value
                        US$2,835,731                            
                    

                    

                        Daily Ads Revenue
                        US$2,618                            
                    

                    

                        Monthly Ads Revenue
                        US$78,528                            
                    

                    

                        Yearly Ads Revenue
                        US$942,335                            
                    

                    

                        Daily Unique Visitors
                        21,814
                        
                    

                    

                        
                            Note: All traffic and earnings values are estimates.
                        
                    

                

                

                    
                

                                    
                
                
DNS Records

                

                    

                        Host
                        Type
                        TTL
                        Data
                    

                                        

                        tlapl.us.                        
                        A
                        
                        3600                        
                        IP: 193.55.250.165                        
                    

                                                                                

                        tlapl.us.                        
                        NS
                        
                        21600                        
                        NS Record: ns.inwx.de.                        
                    

                                        

                        tlapl.us.                        
                        NS
                        
                        21600                        
                        NS Record: ns3.inwx.eu.                        
                    

                                        

                        tlapl.us.                        
                        NS
                        
                        21600                        
                        NS Record: ns2.inwx.de.                        
                    

                                                            

                        tlapl.us.                        
                        MX
                        
                        3600                        
                        MX Record: 10 mxext1.mailbox.org.                        
                    

                                        

                        tlapl.us.                        
                        MX
                        
                        3600                        
                        MX Record: 20 mxext3.mailbox.org.                        
                    

                                        

                        tlapl.us.                        
                        MX
                        
                        3600                        
                        MX Record: 10 mxext2.mailbox.org.                        
                    

                                                            

                        tlapl.us.                        
                        TXT
                        
                        3600                        
                        TXT Record: OSSRH-50021                        
                    

                    
                

                
                                
HtmlToTextCheckTime:2023-05-18 04:15:21

                

                    

                        
                            The TLA+ Home Page The TLA+ Home Page Leslie Lamport Last modified on 18 March 2022 You’ll miss a lot on this web site unless you enable Javascript in your browser. This is the home page of the TLA+ web site. TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It’s based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code. The following are the top-level pages of the web site. Is it TLA + or TLA+ ? High-Level View An explanation of what TLA+ is all about. News Items of current interest. Last modified on 5 August 2020. Industrial Use Some examples of how TLA+ has been used in industry. Learning TLA+ Resources for learning how to use TLA+, including an introductory video course. The Toolbox An integrated development environment (IDE) for TLA+ and its tools. There is                            
                        
                    

                

                
                
                                
HTTP Headers

                

                    

                        
                            
HTTP/1.1 302 Found
Date: Sat, 14 May 2022 09:02:23 GMT
Server: Apache
Location: http://lamport.azurewebsites.net/tla/tla.html
Content-Type: text/html; charset=iso-8859-1

HTTP/1.1 200 OK
Content-Length: 6521
Content-Type: text/html
Date: Sat, 14 May 2022 09:02:22 GMT
Server: Microsoft-IIS/10.0
Accept-Ranges: bytes
Cache-Control: max-age=604800
ETag: "0721063f3bd81:0"
Last-Modified: Fri, 18 Mar 2022 21:30:28 GMT
Set-Cookie: ARRAffinity=c7a74ab2bdbb6d0affd439ccbec742df397a7756267b2b57ed45a312145429a0;Path=/;HttpOnly;Domain=lamport.azurewebsites.net
X-Powered-By: ASP.NET

                        		
                    

                

                
                                
tlapl.us Whois Information

                

                    

                        
                            
Domain Name: tlapl.us
Registry Domain ID: D805B7B3C5D2447BDAD78B68D65072434-NSR
Registrar WHOIS Server: whois.domrobot.com
Registrar URL: inwx.com
Updated Date: 2020-10-29T08:39:16Z
Creation Date: 2018-11-10T18:55:43Z
Registry Expiry Date: 2024-11-10T18:55:43Z
Registrar: INWX GmbH & Co. KG
Registrar IANA ID: 1420
Registrar Abuse Contact Email: abuse@domrobot.com
Registrar Abuse Contact Phone: +49.30983212112
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Registry Registrant ID: CEE82DE614DDE4070A8F819F2259C33F7-NSR
Registrant Name: Markus Kuppe
Registrant Street: 9309 138th CT, NE
Registrant City: Redmond
Registrant State/Province: WA
Registrant Postal Code: 98052
Registrant Country: US
Registrant Phone: +1.4256241029
Registrant Email: 2018-inwx.de@lemmster.de
Registrant Application Purpose: P3
Registrant Nexus Category: C12
Registry Admin ID: CEE82DE614DDE4070A8F819F2259C33F7-NSR
Admin Name: Markus Kuppe
Admin Street: 9309 138th CT, NE
Admin City: Redmond
Admin State/Province: WA
Admin Postal Code: 98052
Admin Country: US
Admin Phone: +1.4256241029
Admin Email: 2018-inwx.de@lemmster.de
Admin Application Purpose: P3
Admin Nexus Category: C12
Registry Tech ID: C174BD56BB4294397B983B651EFE3DE74-ARI
Tech Name: Hostmaster Of The Day
Tech Organization: INWX GmbH & Co. KG
Tech Street: Prinzessinnenstr. 30
Tech City: Berlin
Tech Postal Code: 10969
Tech Country: DE
Tech Phone: +49.309832120
Tech Fax: +49.3098321290
Tech Email: hostmaster@inwx.de
Name Server: ns.inwx.de
Name Server: ns2.inwx.de
Name Server: ns3.inwx.eu
DNSSEC: unsigned
>>> Last update of WHOIS database: 2022-05-14T21:18:24Z <<<

                        		
                    

                

                            

        

        

        

            
        

    

    

        
Copyright © 2022 WebZZ.US 0.0233