Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
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 |
WebSite | souffle-lang.org |
Host IP | 216.239.34.21 |
Location | United States |
Site | Rank |
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. |
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. |
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. |
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/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 |
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 <<< |