souffle-lang.org valuation and analysis

Robots.txt Information
Robot Path Permission
GoogleBot /
BingBot /
BaiduSpider /
YandexBot /
Meta Tags
Title Soufflé | Soufflé • A Datalog Synthesis Tool for Static
Description Logic Defined Static Toggle navigation Soufflé Nav Docs News Install Community GitHub Soufflé Getting Started Welcome Install Soufflé Build Soufflé A Simple Example Run Souffl
Keywords homepage
Server Information
WebSite souffle-lang faviconsouffle-lang.org
Host IP 216.239.34.21
Location United States
Related Websites
Site Rank
More to Explore
souffle-lang.org Valuation
US$1,194
Last updated: 2023-05-14 15:53:50

souffle-lang.org has Semrush global rank of 0. souffle-lang.org has an estimated worth of US$ 1,194, based on its estimated Ads revenue. souffle-lang.org receives approximately 137 unique visitors each day. Its web server is located in United States, with IP address 216.239.34.21. According to SiteAdvisor, souffle-lang.org is safe to visit.

Traffic & Worth Estimates
Purchase/Sale Value US$1,194
Daily Ads Revenue US$1
Monthly Ads Revenue US$33
Yearly Ads Revenue US$396
Daily Unique Visitors 9
Note: All traffic and earnings values are estimates.
DNS Records
Host Type TTL Data
souffle-lang.org. A 3599 IP: 216.239.34.21
souffle-lang.org. A 3599 IP: 216.239.32.21
souffle-lang.org. A 3599 IP: 216.239.36.21
souffle-lang.org. A 3599 IP: 216.239.38.21
souffle-lang.org. AAAA 3600 IPV6: 2001:4860:4802:36::15
souffle-lang.org. AAAA 3600 IPV6: 2001:4860:4802:34::15
souffle-lang.org. AAAA 3600 IPV6: 2001:4860:4802:38::15
souffle-lang.org. AAAA 3600 IPV6: 2001:4860:4802:32::15
souffle-lang.org. NS 21600 NS Record: ns-cloud-e4.googledomains.com.
souffle-lang.org. NS 21600 NS Record: ns-cloud-e2.googledomains.com.
souffle-lang.org. NS 21600 NS Record: ns-cloud-e1.googledomains.com.
souffle-lang.org. NS 21600 NS Record: ns-cloud-e3.googledomains.com.
souffle-lang.org. MX 3600 MX Record: 30 alt3.gmr-smtp-in.l.google.com.
souffle-lang.org. MX 3600 MX Record: 5 gmr-smtp-in.l.google.com.
souffle-lang.org. MX 3600 MX Record: 40 alt4.gmr-smtp-in.l.google.com.
souffle-lang.org. MX 3600 MX Record: 20 alt2.gmr-smtp-in.l.google.com.
souffle-lang.org. MX 3600 MX Record: 10 alt1.gmr-smtp-in.l.google.com.
HtmlToTextCheckTime:2023-05-14 15:53:50
Toggle navigation Soufflé Nav Docs News Install Community GitHub Soufflé Getting Started Welcome Install Soufflé Build Soufflé A Simple Example Run Soufflé Examples Tutorial Source Code and Documentation Developer Tutorial Applications Language Program Relations Types Facts Rules Constraints Arguments Aggregates Directives Components Choice Construct Subsumption User-Defined Functors Pragmas Advanced Topics Auto-Tuning Hand-Tuning Profiler Provenance Magic-Set C++ Interface Swig Synthesis Symbol and Record Tables Publications Contributors Publications and Talks Collapse All | Expand All --> Logic Defined Static Analysis. Language Rapid-prototyping for your analysis problems with logic; enabling deep design-space explorations; designed for large-scale static analysis; e.g., points-to analysis for Java, taint-analysis, security checks. Program Soufflé → Synthesis of Logic Futamura projections/partial evaluation for effective translation to parallel C++; optimized staged compilation;
HTTP Headers
HTTP/1.1 302 Found
Location: https://souffle-lang.github.io/
Date: Thu, 23 Dec 2021 16:29:50 GMT
Content-Type: text/html; charset=UTF-8
Server: ghs
Content-Length: 228
X-XSS-Protection: 0
X-Frame-Options: SAMEORIGIN

HTTP/2 200 
server: GitHub.com
content-type: text/html; charset=utf-8
permissions-policy: interest-cohort=()
last-modified: Mon, 13 Dec 2021 03:28:57 GMT
access-control-allow-origin: *
etag: "61b6bdf9-399e"
expires: Thu, 23 Dec 2021 16:39:50 GMT
cache-control: max-age=600
x-proxy-cache: MISS
x-github-request-id: BB70:0B09:3E925C:6115E1:61C4A3FE
accept-ranges: bytes
date: Thu, 23 Dec 2021 16:29:50 GMT
via: 1.1 varnish
age: 0
x-served-by: cache-lga21945-LGA
x-cache: MISS
x-cache-hits: 0
x-timer: S1640276991.649789,VS0,VE14
vary: Accept-Encoding
x-fastly-request-id: cb412c7ac3067634a7f247b0dd43decf2cdd3b08
content-length: 14750
souffle-lang.org Whois Information
Domain Name: SOUFFLE-LANG.ORG
Registry Domain ID: D402200000000209505-LROR
Registrar WHOIS Server: whois.google.com
Registrar URL: https://domains.google.com
Updated Date: 2021-10-06T01:37:51Z
Creation Date: 2016-10-05T06:44:08Z
Registry Expiry Date: 2022-10-05T06:44:08Z
Registrar: Google LLC
Registrar IANA ID: 895
Registrar Abuse Contact Email: registrar-abuse@google.com
Registrar Abuse Contact Phone: +1.8772376466
Domain Status: ok https://icann.org/epp#ok
Registrant Organization: Contact Privacy Inc. Customer 124843236
Registrant State/Province: ON
Registrant Country: CA
Name Server: NS-CLOUD-E1.GOOGLEDOMAINS.COM
Name Server: NS-CLOUD-E2.GOOGLEDOMAINS.COM
Name Server: NS-CLOUD-E3.GOOGLEDOMAINS.COM
Name Server: NS-CLOUD-E4.GOOGLEDOMAINS.COM
DNSSEC: signedDelegation
URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/)
>>> Last update of WHOIS database: 2021-12-27T00:46:29Z <<<