cakeml / CakeML

Robots.txt Information

Robot	Path	Permission
GoogleBot	/	✔
BingBot	/	✔
BaiduSpider	/	✔
YandexBot	/	✔

Meta Tags

Title	CakeML
Description	About CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct
Keywords	N/A

Server Information

WebSite	cakeml.org
Host IP	176.58.119.245
Location	United Kingdom

Related Websites

                        Site
                        Rank
                    

More to Explore

cakeml.org Valuation

US$892,621

Last updated: 2023-05-13 14:09:41

cakeml.org has Semrush global rank of 11,857,564. cakeml.org has an estimated worth of US$ 892,621, based on its estimated Ads revenue. cakeml.org receives approximately 102,995 unique visitors each day. Its web server is located in United Kingdom, with IP address 176.58.119.245. According to SiteAdvisor, cakeml.org is safe to visit.

Traffic & Worth Estimates

Purchase/Sale Value	US$892,621
Daily Ads Revenue	US$824
Monthly Ads Revenue	US$24,719
Yearly Ads Revenue	US$296,625
Daily Unique Visitors	6,867
Note: All traffic and earnings values are estimates.

DNS Records

Host	Type	TTL	Data
cakeml.org.	A	3600	IP: 176.58.119.245
cakeml.org.	AAAA	3599	IPV6: 2a01:7e00::f03c:91ff:feae:46a9
cakeml.org.	NS	3600	NS Record: ns4.afraid.org.
cakeml.org.	NS	3600	NS Record: ns2.afraid.org.
cakeml.org.	NS	3600	NS Record: ns3.afraid.org.
cakeml.org.	NS	3600	NS Record: ns1.afraid.org.
cakeml.org.	MX	3600	MX Record: 0 cakeml.org.
cakeml.org.	TXT	3600	TXT Record: google-site-verification=QPtAN7fythg28t9YdfIZzMKnc0tjqoHrpNr9qdDBvfM
cakeml.org.	TXT	3600	TXT Record: v=DMARC1; p=none; rua=mailto:postmaster@cakeml.org
cakeml.org.	TXT	3600	TXT Record: v=spf1 a -all

HtmlToTextCheckTime:2023-05-13 14:09:41

About CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself. The CakeML project consists of the following components, all of which are free software . Language definition. The CakeML language is based on a substantial subset of Standard ML . Its formal semantics is specified in higher-order logic (HOL) in a functional big-step style . The core of the language (its syntax and semantics) is quite stable, but the standard basis library is still undergoing development. Contributions are welcome! Compiler backend. The CakeML compiler has many parts. The most significant part is the verified compiler backend , which transforms an untyped AST to concrete machine code for one of 6 target architectures. The compiler backend has been proved to only produce machine code that is compatible with the behaviours of the source programs. The backend passes through several

HTTP Headers

HTTP/1.1 301 Moved Permanently
Location: https://cakeml.org/
Date: Tue, 21 Dec 2021 13:13:20 GMT
Server: lighttpd/1.4.63

HTTP/2 200 
content-type: text/html; charset=utf-8
etag: "1870195256"
last-modified: Fri, 04 Jun 2021 06:53:23 GMT
content-length: 36751
accept-ranges: bytes
date: Tue, 21 Dec 2021 13:13:20 GMT
server: lighttpd/1.4.63

cakeml.org Whois Information

Domain Name: CAKEML.ORG
Registry Domain ID: D168608421-LROR
Registrar WHOIS Server: whois.dynadot.com
Registrar URL: http://www.dynadot.com
Updated Date: 2020-03-12T08:26:41Z
Creation Date: 2013-05-04T09:41:38Z
Registry Expiry Date: 2025-05-04T09:41:38Z
Registrar: Dynadot, LLC
Registrar IANA ID: 472
Registrar Abuse Contact Email: abuse@dynadot.com
Registrar Abuse Contact Phone: +1.6502620100
Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited
Registrant State/Province: CA
Registrant Country: US
Name Server: NS1.AFRAID.ORG
Name Server: NS2.AFRAID.ORG
Name Server: NS3.AFRAID.ORG
Name Server: NS4.AFRAID.ORG
DNSSEC: unsigned
URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/)
>>> Last update of WHOIS database: 2021-12-25T05:03:51Z <<<

cakeml.org valuation and analysis